Time & Logic: A Computational Approach by Leonard Bolc Paperback Book
52,00 €
By Leonard Bolc, Andrzej Szałas. 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.
Jetzt bei Ebay:
