Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects by
219,24 €
Introduction and overview 2. Temporal logic and automata 3. Labelled deduction presentation of temporal logics 5. Temporal logic programming 6. Combining temporal logic systems 7. Extensional semantics 8.
Jetzt bei Ebay: