Cover image for An introduction to practical formal methods using temporal logic
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.
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 305703-1001 ONLINE
Searching...

On Order