Michael Fisher An Introduction to Practical Formal Methods U (Gebundene Ausgabe)
164,93 €
Produktart: Gebundene Ausgabe. Information fehlt?. Breite: 25mm. 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:
