CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 19 of 19 Results
1.
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices International Wor...
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices International Wor... by Barthe, Gilles, Burdy, Lili... ISBN: 9783540242871 List Price: $58.00
$52.33 (Save 9%)
2.
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices Second Internatio...
Construction And Analysis of Safe, Secure, And Interoperable Smart Devices Second Internatio... by Barthe, Gilles, Gregoire, B... ISBN: 9783540336891 List Price: $58.00
$52.33 (Save 9%)
3.
Proceedings of the 8th International Workshop on Specification and Verification of Component...
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 Amazon
4.
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, H...
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, H... by Huisman, Marieke, Rubin, Julia ISBN: 9783662544938 List Price: $95.00
$51.31 (Save 45%)
5.
Integrated Formal Methods : 12th International Conference, Ifm 2016, Reykjavik, Iceland, Jun...
Integrated Formal Methods : 12th International Conference, Ifm 2016, Reykjavik, Iceland, Jun... by Abraham, Erika, Huisman, Ma... ISBN: 9783319336923 List Price: $94.00
$83.02 (Save 11%)
6.
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, ...
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, ... by Groote, Jan Friso, Huisman,... ISBN: 9783031150074
$75.44
7.
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021,...
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021,... by Huisman, Marieke, Pasareanu... ISBN: 9783030908690
$112.41
8.
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Concise Guide to Software Verification : From Model Checking to Annotation Checking by Huisman, Marieke, Wijs, Anton ISBN: 9783031301667
$78.29
9.
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Confe...
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Confe... by Beyer, Dirk, Huisman, Marieke ISBN: 9783319899626 List Price: $59.99
$55.84 (Save 6%)
10.
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer...
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
$55.84 (Save 6%)
11.
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6. 1 Inter...
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
$73.96
12.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems by Steffen, Bernhard, Kordon, ... ISBN: 9781013271205
$41.17
13.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
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 Amazon
14.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems by Steffen, Bernhard, Kordon, ... ISBN: 9781013271212
$51.32
15.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer... by Dirk Beyer, Marieke Huisman ISBN: 9781013278402

OUT OF STOCK

See Availability on Amazon
16.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
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 Amazon
17.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
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 Amazon
18.
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Concise Guide to Software Verification : From Model Checking to Annotation Checking by Huisman, Marieke, Wijs, Anton ISBN: 9783031301698
$126.58
19.
Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 20...
Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 20... by Huisman, Marieke, Howar, Falk ISBN: 9783031720437 List Price: $139.99
$128.31 (Save 8%)