Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Kirjat - Springer London Ltd - 9781447125136 - keskiviikko 14. maaliskuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Krzysztof R. Apt
Verification of Sequential and Concurrent Programs - Texts in Computer Science Softcover reprint of hardcover 3rd ed. 2009 edition

Hinta
Ft 30.680

Tilattu etävarastosta

Arvioitu toimitus ke - to 10. - 18. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Englanti  
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 )