The temporal logic of reactive and concurrent systems specification

• Κύριοι συγγραφείς: Manna, Zohar (Συγγραφέας), Pnueli, Amir (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Springer-Verlag 1992
• Θέματα: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Λογική, Συμβολική και μαθηματική