25 Years of Model Checking
Lieferbar innerhalb 14 Tagen
Computer Aided Verification
Tools and Algorithms for the Construction and Analysis of Systems
Languages: From Formal to Natural
Lieferbar innerhalb ca. einer Woche