CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Formal Aspects of Component Software : 17th International Symposium, FACS 2021, Virtual Even...
Formal Aspects of Component Software : 17th International Symposium, FACS 2021, Virtual Even... by Sala�n, Gwen, Wijs, Anton ISBN: 9783030906351
$47.70
2.
Model Checking Software : 23rd International Symposium, Spin 2016, Co-Located with Etaps 201...
Model Checking Software : 23rd International Symposium, Spin 2016, Co-Located with Etaps 201... by Bo Na Ki, Dragan, Wijs, Anton ISBN: 9783319325811 List Price: $72.00
$51.31 (Save 28%)
3.
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
$74.58
4.
Ifm 2023 : 18th International Conference, IFM 2023, Leiden, the Netherlands, November 13-15,...
Ifm 2023 : 18th International Conference, IFM 2023, Leiden, the Netherlands, November 13-15,... by Herber, Paula, Wijs, Anton ISBN: 9783031477041 List Price: $119.99
$110.19 (Save 8%)
5.
Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembou...
Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembou... by Neele, Thomas, Wijs, Anton ISBN: 9783031661488 List Price: $64.99
$51.31 (Save 21%)