Eine Einführung in praktische formale Methoden mit zeitlicher Logik von Michael Fis
119,59 €
It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.
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)
