Einführung in praktische formale Methoden mit zeitlicher Logik, Hardcover von F...
109,25 €
This work by Fisher (computer science, U. of Liverpool, UK) provides an introduction to the informal and formal foundations of a simple temporal logic and describes techniques and tools based on temporal logic as applied to sample applications, including deductive verification, algorithmic verification, and model building.
Jetzt bei Ebay:
![Produktbild - Introduction to Mathematical Logic by Agustin Willmott [Hardback]](https://i.ebayimg.com/thumbs/images/g/PMwAAOSw3ypnlhK6/s-l140.jpg)
