Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects by
221,93 €
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: