Raamatud Marieke Huisman
Concise Guide to Software Verification: From Model Checking to Annotation Checking
-40% koodiga BOOKS
Meie tarnija laos
Concise Guide to Software Verification: From Model Checking to Annotation Checking
-40% koodiga BOOKS
Meie tarnija laos
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
-40% koodiga BOOKS
Meie tarnija laos
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
-40% koodiga BOOKS
Meie tarnija laos
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
-40% koodiga BOOKS
Meie tarnija laos