An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Gebundenes Buch

An Introduction to Practical Formal Methods Using Temporal Logic

Versandkostenfrei!
Versandfertig in 2-4 Wochen
127,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
64 °P sammeln!
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems, which are used in many engineering methods and applications. A variety of examples, exercises and pointers to more advanced work in this area help to clarify and illustrate topics discussed. An appendix provides an introduction to classical logic, and an accompanying Web site contains links to additional material related to the book, and to a range of systems based on temporal logic.