Logik in der Informatik: Modellierung und Argumentation über Systeme [Taschenbuch]
76,14 €
The coverage of model-checking has been substantially updated. Further exercises have been added.
Jetzt bei Ebay: