Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science - J C Bradfield - Bücher - Birkhauser - 9781468468212 - 25. Februar 2012
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

Preis
SFr. 44,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

116 pages, black & white illustrations, bibliography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 25. Februar 2012
ISBN13 9781468468212
Verlag Birkhauser
Seitenanzahl 116
Maße 156 × 234 × 7 mm   ·   185 g
Sprache Englisch