Pastāsti draugiem par šo preci:
Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science Wim H. Hesselink
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Wim H. Hesselink izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
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.
235 pages, illustrations
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1992. gada 21. maijs |
| ISBN13 | 9780521404365 |
| Izdevēji | Cambridge University Press |
| Lapas | 235 |
| Izmēri | 179 × 256 × 16 mm · 578 g |
Vairāk no tā paša izdevēja
Skatīt visus Wim H. Hesselink ( piem., Paperback Book un Hardcover Book )