The temporal logic of reactive and concurrent systems specification

• Κύριοι συγγραφείς: Manna, Zohar (Συγγραφέας), Pnueli, Amir (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Springer-Verlag 1992
• Θέματα: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: xiv, 427 p. fig. 25 cm
• Βιβλιογραφία: Includes bibliographical references and index
• ISBN: 0387976647