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.
Genre:
Holds:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 305703-1001 | ONLINE | Searching... | Searching... |