Freunden von diesem Artikel berichten:
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
Preis
₪ 261,08
Bestellware
Lieferdatum: ca. 3. - 15. Jul
Zu deiner iMusic Wunschliste hinzufügen
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
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 )