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

Krzysztof R. Apt

Hinta

zł 341,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 2. - 10. heinä

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