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.
• Φυσική περιγραφή: 1 online resource (vii, 353 pages) : illustrations
• Βιβλιογραφία: Includes bibliographical references and index.
• ISBN: 9781119991472; 1119991471; 9781119991489; 111999148X; 9780470027882; 0470027886; 9780470980118; 0470980117; 9780470980101; 0470980109; 9781119991465; 1119991463; 1283405342; 9781283405348
• DOI: 10.1002/9781119991472