- Anglický jazyk
Programs, Recursion and Unbounded Choice
Autor: Wim H. Hesselink
A complete account of the predicate transformation calculus semantics of sequential programs.
Na objednávku, dodanie 2-4 týždne
63.45 €
bežná cena: 72.10 €
O knihe
A complete account of the predicate transformation calculus semantics of sequential programs.
- Vydavateľstvo: Cambridge University Press
- Rok vydania: 2005
- Formát: Paperback
- Rozmer: 244 x 170 mm
- Jazyk: Anglický jazyk
- ISBN: 9780521018296