Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129)
Hailpern, B. T.
Verkauft von Ria Christie Collections, Uxbridge, Vereinigtes Königreich
AbeBooks-Verkäufer seit 25. März 2015
Neu - Softcover
Zustand: New
Anzahl: Mehr als 20 verfügbar
In den Warenkorb legen