Fortell venner om denne varen:
Verification of Sequential and Concurrent Programs - Texts in Computer Science Krzysztof R. Apt 3rd ed. 2009, Corr. 3rd printing 2010 edition
Pris
HK$ 811
Bestillingsvarer
Forventes levert 2. - 10. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes også som:
Verification of Sequential and Concurrent Programs - Texts in Computer Science
Krzysztof R. Apt
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.
502 pages, 26 black & white illustrations, biography
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 5. oktober 2009 |
| ISBN13 | 9781848827448 |
| Utgivere | Springer London Ltd |
| Antall sider | 502 |
| Mål | 167 × 237 × 32 mm · 911 g |
| Språk | Engelsk |
| Medvirkende | Amir Pnueli |
