An introduction to practical formal methods using temporal logic

Main Author: Fisher, Michael
Format: eBook
Language:English
Published: Chichester, West Sussex, U.K. J. Wiley & Sons c2011
Subjects:
Online Access:
Collection: Safari Tech Books Online - Collection details see MPG.ReNa
Physical Description:1 online resource (1 v.) ill