Time & Logic: A Computational Approach (Routledge Revivals) by Leonard Bolc
43,97 €
The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. The book begins with an introduction to the basic ideas of temporal logic.
Jetzt bei Ebay:
![Produktbild - Essentials of Logic (Routledge Revivals) by A. Wolf [Paperback]](https://i.ebayimg.com/thumbs/images/g/0GEAAeSw2g5oZbl6/s-l140.jpg)
