UID:
almafu_9959328808802883
Format:
1 online resource (vii, 353 pages) :
,
illustrations
ISBN:
9781119991472
,
1119991471
,
9781119991489
,
111999148X
,
9780470027882
,
0470027886
,
9780470980118
,
0470980117
,
9780470980101
,
0470980109
,
9781119991465
,
1119991463
,
1283405342
,
9781283405348
Content:
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.
Note:
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.
Additional Edition:
Print version: Fisher, Michael, 1962- Introduction to practical formal methods using temporal logic. Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2011 ISBN 9780470027882
Language:
English
Keywords:
Electronic books.
;
Electronic books.
;
Electronic books.
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119991472
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119991472
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119991472
Bookmarklink