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

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

Preis
€ 77,99

Bestellware

Lieferdatum: ca. 6. - 12. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

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

Auch vorhanden als:

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

Weitere Titel von Krzysztof R. Apt

Alle anzeigen

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