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

J C Bradfield

Preis
£ 55,49

Bestellware

Lieferdatum: ca. 12. - 24. Jun

Unsere Kunden sagen:

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

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

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

Alle Titel von J C Bradfield ansehen ( u. a. Taschenbuch )