Publikationen
171 Einträge
2008
-
Principles of Model Checking, 2008, Neuerscheinung Aufl., Cambridge, 975 S.Publikation: Buch/Gutachten/Sammelbände > Monographie