Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Zeit & Logik: Ein computergestützter Ansatz (Routledge Revivals) von Leonard Bolc

Ø 0.0
0 Bewertungen
40,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: