An introduction to practical formal methods using temporal logic
(eBook)
Author:
Contributors:
Published:
Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011.
Format:
eBook
Physical Desc:
vii, 353 pages : ill.
Status:
Ebrary (CCU)
Description
Description not provided
Copies
Ebrary (CCU)
Subjects
Other Subjects
Citations
APA Citation (style guide)
Fisher, M. (2011). An introduction to practical formal methods using temporal logic. Chichester, West Sussex, U.K. ; Hoboken, N.J., Wiley.
Chicago / Turabian - Author Date Citation (style guide)Fisher, Michael, 1962-. 2011. An Introduction to Practical Formal Methods Using Temporal Logic. Chichester, West Sussex, U.K. ; Hoboken, N.J., Wiley.
Chicago / Turabian - Humanities Citation (style guide)Fisher, Michael, 1962-, An Introduction to Practical Formal Methods Using Temporal Logic. Chichester, West Sussex, U.K. ; Hoboken, N.J., Wiley, 2011.
MLA Citation (style guide)Fisher, Michael. An Introduction to Practical Formal Methods Using Temporal Logic. Chichester, West Sussex, U.K. ; Hoboken, N.J., Wiley, 2011.
Note! Citation formats are based on standards as of July 2022. Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy.
More Copies In Prospector
Loading Prospector Copies...
More Details
Language:
English
Notes
Bibliography
Includes bibliographical references and index.
Reproduction
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Staff View
Grouped Work ID:
f659142f-b6c3-4575-ff1e-ae7408224c86
Record Information
| Last File Modification Time | Jan 04, 2024 04:53:11 PM |
|---|---|
| Last Grouped Work Modification Time | Jan 04, 2024 04:51:13 PM |
MARC Record
| LEADER | 01342nam a2200361Ia 4500 | ||
|---|---|---|---|
| 001 | EBC698529 | ||
| 003 | MiAaPQ | ||
| 005 | 20200520144314.0 | ||
| 006 | m o d | | ||
| 007 | cr cn||||||||| | ||
| 008 | 101207s2011 enka sb 001 0 eng d | ||
| 010 | |z 2010046372 | ||
| 020 | |z 9780470027882 | ||
| 020 | |z 9781119991489 | ||
| 035 | |a (MiAaPQ)EBC698529 | ||
| 035 | |a (Au-PeEL)EBL698529 | ||
| 035 | |a (CaPaEBR)ebr10510305 | ||
| 035 | |a (CaONFJC)MIL340534 | ||
| 035 | |a (OCoLC)831121458 | ||
| 040 | |a MiAaPQ|c MiAaPQ|d MiAaPQ | ||
| 050 | 4 | |a QA267.5.T45|b F57 2011 | |
| 082 | 0 | 4 | |a 511.3|2 22 |
| 100 | 1 | |a Fisher, Michael,|d 1962- | |
| 245 | 1 | 3 | |a An introduction to practical formal methods using temporal logic|h [electronic resource] /|c Michael Fisher. |
| 260 | |a Chichester, West Sussex, U.K. ;|a Hoboken, N.J. :|b Wiley,|c c2011. | ||
| 300 | |a vii, 353 p. :|b ill. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 533 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
| 650 | 0 | |a Temporal automata. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 655 | 4 | |a Electronic books. | |
| 710 | 2 | |a ProQuest (Firm) | |
| 856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/cochristuniv-ebooks/detail.action?docID=698529|z Click to View |
