B. T. Hailpern

Verifying Concurrent Processes Using Temporal Logic

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Lecture Notes in Computer Science 129
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-11205-1
• 1982
• Seitenzahl: 220
• Erscheinungstermin: 1. März 1982
• Englisch
• Abmessung: 235mm x 155mm x 13mm
• Gewicht: 356g
• ISBN-13: 9783540112051
• ISBN-10: 3540112057
• Artikelnr.: 09231693

Inhaltsangabe

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