Verification of Sequential and Concurrent Programs - Texts in Computer Science 3rd ed. 2009, Corr. 3rd printing 2010 edition

Krzysztof R. Apt

Hinta

$ 115,49

Tilattu etävarastosta

Arvioitu toimitus ma - ti 8. - 16. syys

Asiakkaamme sanovat:

Lisää iMusic-toivelistallesi

Eller

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	English
Mukana	Amir Pnueli

Näytä kaikki