An introduction to practical formal methods using temporal logic / Michael Fisher
Material type:
TextPublication details: Hoboken, N.J : Wiley, 2011Description: vii, 353 p. : ill. ; 25 cmISBN: 9780470027882Subject(s): Temporal automata | Logic, Symbolic and mathematicalLOC classification: QA267.5 T45 | .F57 2011
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
BOOK
|
UNIMY PJ Library | QA267.5 T45 .F57 2011 (Browse shelf (Opens below)) | Available | 100854 |
Total holds: 0
Browsing UNIMY shelves, Shelving location: PJ Library Close shelf browser (Hides shelf browser)
|
|
|
|
No cover image available |
|
|
||
| QA241 .G725 2012 Fibonacci and Catalan numbers : an introduction / | QA241 S32 2003 da Dr. Riemann's zeros [the search for the | QA248.5 .L64 2005 Logical, algebraic, analytic, and probabilistic aspects of triangular norms | QA267.5 T45 .F57 2011 An introduction to practical formal methods using temporal logic / | QA268 .B743 2002 Information theory, coding and cryptography | QA268 .G57 2001 Foundations of cryptology : Volume I Basic Tools / | QA273 .D46 2012 Probability and statistics for engineering and the sciences/ |
Include bibliography reference and index
There are no comments on this title.