An Introduction to Practical Formal Methods Using Temporal Logic by Michael Fish
209,56 €
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:
