1.
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices International Wor...
by Barthe, Gilles, Burdy, Lili...
ISBN: 9783540242871
List Price: $58.00
2.
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices Second Internatio...
by Barthe, Gilles, Gregoire, B...
ISBN: 9783540336891
List Price: $58.00
3.
Proceedings of the 8th International Workshop on Specification and Verification of Component...
by Huisman, Marieke
ISBN: 9781605586809
List Price: $99.00
OUT OF STOCK
See Availability on Amazon4.
Integrated Formal Methods : 12th International Conference, Ifm 2016, Reykjavik, Iceland, Jun...
by Abraham, Erika, Huisman, Ma...
ISBN: 9783319336923
List Price: $94.00
5.
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, H...
by Huisman, Marieke, Rubin, Julia
ISBN: 9783662544938
List Price: $95.00
6.
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, ...
by Groote, Jan Friso, Huisman,...
ISBN: 9783031150074
7.
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021,...
by Huisman, Marieke, Pasareanu...
ISBN: 9783030908690
8.
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6. 1 Inter...
by Huisman, Marieke, Ravara, A...
ISBN: 9783031353543
List Price: $69.99
9.
Concise Guide to Software Verification : From Model Checking to Annotation Checking
by Huisman, Marieke, Wijs, Anton
ISBN: 9783031301667
10.
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer...
by Beyer, Dirk, Huisman, Marieke
ISBN: 9783319899596
List Price: $59.99
11.
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Confe...
by Beyer, Dirk, Huisman, Marieke
ISBN: 9783319899626
List Price: $59.99
12.
Tools and Algorithms for the Construction and Analysis of Systems
by Steffen, Bernhard, Kordon, ...
ISBN: 9781013271205
OUT OF STOCK
See Availability on Amazon13.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
by Marieke Huisman, Dirk Beyer
ISBN: 9781013278389
OUT OF STOCK
See Availability on Amazon14.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
by Dirk Beyer, Marieke Huisman
ISBN: 9781013278419
OUT OF STOCK
See Availability on Amazon15.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
by Marieke Huisman, Dirk Beyer
ISBN: 9781013278396
OUT OF STOCK
See Availability on Amazon16.
Tools and Algorithms for the Construction and Analysis of Systems
by Steffen, Bernhard, Kordon, ...
ISBN: 9781013271212
OUT OF STOCK
See Availability on Amazon17.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
by Dirk Beyer, Marieke Huisman
ISBN: 9781013278402