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

Formale Methoden in der Informatik von Jiacun Wang (Englisch) Hardcover Buch

Ø 0.0
0 Bewertungen
294,93 €

Author Jiacun Wang, William Tepfenhart. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking.

Jetzt bei Ebay: