ISBN: 9783540112051 - verifying concurrent processes using temporal logic (lecture notes in computer science, 129, band 129) (2 Ergebnisse)

von Brent T. Hailpern

ISBN:

Mit der Detailsuche verfeinern

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129) (v)
Hailpern, B. T.
Sprache: Englisch
Verlag: Springer, 1982
3540112057 / 9783540112051
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 62,34
EUR 2,67 Versand
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Zustand: New.
Verifying Concurrent Processes Using Temporal Logic
B. T. Hailpern
Sprache: Englisch
Verlag: Springer, 1982
3540112057 / 9783540112051
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 66,40
EUR 35,00 Versand
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.