Temporal verification of reactive systems Safety

• Κύριοι συγγραφείς: Manna, Zohar (Συγγραφέας), Pnueli, Amir (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Springer-Verlag c1995
• Θέματα: COMPUTER SOFTWARE; ΕΠΕΑΕΚ
• Περιγραφή τεκμηρίου: includes bibl references
• Φυσική περιγραφή: xviii,512p. fig.
• ISBN: 0 387 94459 1