Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Bücher - Springer London Ltd - 9781447125136 - 14. März 2012
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Krzysztof R. Apt

Preis
Fr. 92,49

Bestellware

Lieferdatum: ca. 5. - 14. Mär

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

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

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 14. März 2012
ISBN13 9781447125136
Verlag Springer London Ltd
Seitenanzahl 502
Maße 156 × 233 × 28 mm   ·   730 g
Sprache Englisch  
Mitwirkende Amir Pnueli
Alle anzeigen

Weitere Titel von Krzysztof R. Apt

Alle Titel von Krzysztof R. Apt ansehen ( u. a. Gebundenes Buch und Taschenbuch )