Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Kirjat - Springer London Ltd - 9781848827448 - maanantai 5. lokakuuta 2009
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 3rd ed. 2009, Corr. 3rd printing 2010 edition

Hinta
Kč 2.396

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     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 5. lokakuuta 2009
ISBN13 9781848827448
Tuottaja Springer London Ltd
Sivujen määrä 502
Mitta 167 × 237 × 32 mm   ·   911 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 )