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