Temporal logics and their applications

• Other Authors: Galton, Antony (Editor)
• Format: Book
• Language: English
• Published: London Academic Press 1987
• Subjects: COMPUTER PROGRAMMING; Λογική, Συμβολική και μαθηματική; Υπολογιστική; Ηλεκτρονικοί υπολογιστές > Προγραμματισμός