Programs, recursion and unbounded choice
Auteur :
Hesselink, Wim H.
Éditeur :
Cambridge University Press
ISBN :
9780521018296
Date de publication :
22 août 2005
Dimensions :
24,5 x 17,0 x 1,2 cm
Poids :
385 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A complete account of the predicate transformation calculus semantics of sequential programs.