Vinkkaa tuotetta kavereillesi:
Verification of Sequential and Concurrent Programs - Texts in Computer Science Softcover reprint of hardcover 3rd ed. 2009 edition
Krzysztof R. Apt
Hinta
€ 107,99
Tilattu etävarastosta
Arvioitu toimitus to 27. helmi - ma 10. maalis
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | keskiviikko 14. maaliskuuta 2012 |
| ISBN13 | 9781447125136 |
| Tuottaja | Springer London Ltd |
| Sivujen määrä | 502 |
| Mitta | 156 × 233 × 28 mm · 730 g |
| Kieli | English |
| Mukana | Amir Pnueli |
Näytä kaikki
Lisää tuotteita Krzysztof R. Apt
Katso kaikki joka sisältää Krzysztof R. Apt ( Esim. Hardcover Book Ja Paperback Book )