Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 1. März 1982
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

Preis
€ 51,49

Bestellware

Lieferdatum: ca. 8. - 16. 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

209 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 1. März 1982
ISBN13 9783540112051
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 209
Maße 155 × 233 × 11 mm   ·   312 g
Sprache Englisch  

Alle Titel von B. T. Hailpern ansehen ( u. a. Taschenbuch )