Search result
Tools and Algorithms for the Construction and Analysis of Systems
English
01.01.2016
Paperback / Softback
Fr. 70.00
Verification, Model Checking, and Abstract Interpretation
English
19.02.2009
Paperback / Softback
Fr. 70.00
Component-Based Software Development for Embedded Systems
English
22.12.2005
Paperback / Softback
Fr. 70.00
Applications of Neural Networks in High Assurance Systems
English
11.05.2012
Paperback / Softback
Fr. 189.00