Pastāsti draugiem par šo preci:
Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science Wim H. Hesselink
Cena
€ 67,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 19. aug. - . gada 2. sept.
Saņemiet paziņojumus par jauniem Wim H. Hesselink izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science
Wim H. Hesselink
A complete account of the predicate transformation calculus semantics of sequential programs.
240 pages, black & white illustrations
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2005. gada 22. augusts |
| ISBN13 | 9780521018296 |
| Izdevēji | Cambridge University Press |
| Lapas | 240 |
| Izmēri | 170 × 245 × 12 mm · 385 g |
| Valoda | Angļu |
| Sērijas redaktors | Abramsky, S. |
| Sērijas redaktors | Aczel, P. H. |
| Sērijas redaktors | Bakker, J. W. De |
| Sērijas redaktors | Gurevich, Y. |
| Sērijas redaktors | Tucker, J. V. |
| Sērijas redaktors | Van Rijsbergen, C. J. |
Vairāk no tā paša izdevēja
Skatīt visus Wim H. Hesselink ( piem., Paperback Book un Hardcover Book )