Eine Einführung in praktische formale Methoden mit zeitlicher Logik von Michael Fish
205,89 €
Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed.
Jetzt bei Ebay:
![Produktbild - Z.: An Introduction to Formal Methods by Diller, Antoni [Paperback]](https://i.ebayimg.com/thumbs/images/g/V-IAAeSwbHNoNikT/s-l140.jpg)
