An introduction to practical formal methods using temporal logic
by
 
Fisher, Michael, 1962-

Title
: 
An introduction to practical formal methods using temporal logic

Author
: 
Fisher, Michael, 1962-

ISBN
: 
9781119991472
 
9781119991489
 
9780470027882
 
9780470980118
 
9780470980101
 
9781119991465

Publication Information
: 
Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2011.

Physical Description
: 
1 online resource (vii, 353 p.) : ill.

Subject Term
: 
Temporal automata.
 
Logic, Symbolic and mathematical.

Genre
: 
Electronic books.

Electronic Access
: 
John Wiley http://dx.doi.org/10.1002/9781119991472
 
http://proquest.safaribooksonline.com/?fpi=9780470027882
 
Books24x7 http://www.books24x7.com/marc.asp?bookid=46822
 
http://proquest.safaribooksonline.com/9780470027882
 
Volltext http://proquest.tech.safaribooksonline.de/9780470027882


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book305703-1001ONLINEElektronik Kütüphane