Introduction to practical formal methods using temporal logic, an
Auteur :
Fisher, Michael
Éditeur :
John Wiley & Sons Inc
ISBN :
9780470027882
Date de publication :
18 avr. 2011
Dimensions :
25,2 x 17,3 x 2,4 cm
Poids :
780 g
Langue :
Anglais
Pays d'origine :
USA
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.