CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, M...
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, M... by Leucker, Martin, Morgan, Ch... ISBN: 9783642034657 List Price: $79.95
$51.31 (Save 35%)
2.
Formal Methods Applications and Technology 11th International Workshop on Formal Methods for...
Formal Methods Applications and Technology 11th International Workshop on Formal Methods for... by Brim, LuboÌŒs, Haverkort, B... ISBN: 9783540709510 List Price: $74.95
$45.98 (Save 38%)
3.
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombi...
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombi... by Leucker, Martin, Rueda, Cam... ISBN: 9783319251493 List Price: $107.00
$51.31 (Save 52%)
4.
Eighteenth International Symposium on Temporal Representation and Reasoning : Proceedings: 1...
Eighteenth International Symposium on Temporal Representation and Reasoning : Proceedings: 1... by Combi, Carlo, Leucker, Mart... ISBN: 9780769545080

OUT OF STOCK

See Availability on Amazon
5.
Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65...
Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65... by Bartocci, Ezio, Falcone, Yl... ISBN: 9783030873479
$56.95
6.
Formal Methods : 25th International Symposium, FM 2023, l�beck, Germany, March 6-10, 2023, P...
Formal Methods : 25th International Symposium, FM 2023, l�beck, Germany, March 6-10, 2023, P... by Chechik, Marsha, Katoen, Jo... ISBN: 9783031274800
$101.14