The temporal logic of reactive and concurrent systems specification

• Main Authors: Manna, Zohar (Author), Pnueli, Amir (Author)
• Format: Book
• Language: English
• Published: New York Springer-Verlag 1992
• Subjects: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Λογική, Συμβολική και μαθηματική
• Physical Description: xiv, 427 p. fig. 25 cm
• Bibliography: Includes bibliographical references and index
• ISBN: 0387976647