Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129) - Softcover

Hailpern, B. T.

 
9783540112051: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Softcover
ISBN 10: 3540112057 ISBN 13: 9783540112051
Verlag: Springer, 2008

Inhaltsangabe

Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540112057
ISBN 13 
9783540112051
Einband
Taschenbuch
Anzahl der Seiten
224
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387112053: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387112057 ISBN 13:  9780387112053
Softcover