Programs, Recursion and Unbounded Choice
Produseres på bestilling
Leveringstid: 14-30 virkedager
Handlinger
Beskrivelse
Omtale
A complete account of the predicate transformation calculus semantics of sequential programs.
Detaljer
-
Utgivelsesdato:
22.08.2005
-
ISBN:
9780521018296
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press -
Fagtema:
-
Serie:
-
Litteraturtype:
-
Sider:
240
-
Høyde:
24.5 cm
-
Bredde:
17 cm