Fortell venner om denne varen:
Verification of Sequential and Concurrent Programs - Texts in Computer Science Softcover reprint of hardcover 3rd ed. 2009 edition
Krzysztof R. Apt
Pris
₪ 303
Bestillingsvarer
Forventes levert 3. - 11. jul
Legg til iMusic ønskeliste
Eller
Finnes også som:
Verification of Sequential and Concurrent Programs - Texts in Computer Science Softcover reprint of hardcover 3rd ed. 2009 edition
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 Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 14. mars 2012 |
| ISBN13 | 9781447125136 |
| Utgivere | Springer London Ltd |
| Antall sider | 502 |
| Mål | 156 × 233 × 28 mm · 730 g |
| Språk | Engelsk |
| Medvirkende | Amir Pnueli |
