An introduction to practical formal methods using temporal logic /

• Κύριος συγγραφέας: Fisher, Michael, 1962-
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2011.
• Θέματα: Temporal automata.; Logic, Symbolic and mathematical.; MATHEMATICS > Infinity.; MATHEMATICS > Logic.; Electronic books.