Temporal logics and their applications

• Άλλοι συγγραφείς: Galton, Antony (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: London Academic Press 1987
• Θέματα: COMPUTER PROGRAMMING; Λογική, Συμβολική και μαθηματική; Υπολογιστική; Ηλεκτρονικοί υπολογιστές > Προγραμματισμός
• Περιγραφή τεκμηρίου: περιέχει βιβλιογραφικές αναφορές
• Φυσική περιγραφή: xii, 244p.