Programs, Recursion and Unbounded Choice
- Editore:
Cambridge University Press
- EAN:
9780521404365
- ISBN:
0521404363
- Pagine:
- 235
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Programs, Recursion and Unbounded Choice
A complete account of the predicate transformation calculus semantics of sequential programs.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti