Cover is for reference only

An introduction to practical formal methods using temporal logic

Saved in:
Bibliographic Details
Main Authors: Fisher, Michael, 1962
Published:
Literature type: Electronic eBook
Language: English
Subjects:
Temporal automata
Logic, Symbolic and mathematical
MATHEMATICS / Infinity
MATHEMATICS / Logic
Electronic books
Online Access: http://onlinelibrary.wiley.com/book/10.1002/9781119991472
Carrier Form: 1 online resource (vii, 353 p.) : ill.
Bibliography: Includes bibliographical references and index.
ISBN: 9781119991472 (electronic bk.)
1119991471 (electronic bk.)
9781119991489 (electronic bk.)
111999148X (electronic bk.)
9780470027882
0470027886
9780470980118 (e-PDF)
0470980117 (e-PDF)
9780470980101 (o-Book)
0470980109 (o-Book)
9781119991465 (e-Pub)
1119991463 (e-Pub)
1283405342
9781283405348
Index Number: QA267
CLC: O141
Contents: Front Matter -- Introduction -- Temporal Logic -- Specification -- Deduction -- Model Checking -- Execution -- Selected Applications -- Summary -- Appendix A: Review of Classical Logic -- Appendix B: Solutions to Exercises -- References -- Index.

Related Book Recommendations