✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 411.512 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes

von Colin Stirling
Hardcover - 9780387987170
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 7 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Weitere Formate

Softcover - 9781441931535
53,49 €

Autorenfreundlich Bücher kaufen?!

Weitere Formate

Softcover - 9781441931535
53,49 €

Beschreibung

Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods in all areas of computer science and software programming.

Details

Verlag Springer US
Ersterscheinung 06. Juli 2001
Maße 23.5 cm x 17.8 cm
Gewicht 554 Gramm
Format Hardcover
ISBN-13 9780387987170
Seiten 191

Schlagwörter

Computer Engineering and Networks, Computer Science Logic and Foundations of Programming, Computerhardware, Control and Systems Theory, Formal Languages and Automata Theory, Regelungstechnik, Software Engineering, Theoretische Informatik

Herstellerinformationen +