Temporal Logic and State Systems by Stephan Merz (English) Hardcover Book
91,32 €
Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting for the specification and verification of state based systems. Basic Concepts and Notions of Logics.
Jetzt bei Ebay: