CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 11 of 11 Results
1.
Principles of Model Checking
Principles of Model Checking by Baier, Christel, Katoen, Jo... ISBN: 9780262026499 List Price: $65.00
$75.97
2.
Model-based Testing of Reactive Systems Advanced Lectures
Model-based Testing of Reactive Systems Advanced Lectures by Broy, Manfred, Jonsson, Ben... ISBN: 9783540262787 List Price: $129.00
$41.27 (Save 68%)
3.
CONCUR 2011 - Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germa...
CONCUR 2011 - Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germa... by Katoen, Joost-Pieter, Köni... ISBN: 9783642232169 List Price: $107.00

OUT OF STOCK

See Availability on Amazon
4.
Tools and Algorithms for the Construction and Analysis of Systems 8th International Conferen...
Tools and Algorithms for the Construction and Analysis of Systems 8th International Conferen... by Katoen, Joost-Pieter, Steve... ISBN: 9783540434191 List Price: $82.95
$52.33 (Save 36%)
5.
Lectures on Formal Methods and Performance Analysis First Eef Summer School on Trends in Com...
Lectures on Formal Methods and Performance Analysis First Eef Summer School on Trends in Com... by Brinksma, Ed, Hermanns, Hol... ISBN: 9783540424796 List Price: $79.95
$27.14 (Save 66%)
6.
Lectures on Formal Methods and Performance Analysis
Lectures on Formal Methods and Performance Analysis by Brinksma, Ed, Hermanns, Hol... ISBN: 9783662181171 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems by Katoen, Joost-Pieter, Steve... ISBN: 9783662183243 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
8.
Foundations of Probabilistic Programming
Foundations of Probabilistic Programming by Barthe, Gilles, Katoen, Joo... ISBN: 9781108488518
$64.85
9.
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
10.
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Sympos...
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Sympos... by Guan, Nan, Katoen, Joost-Pi... ISBN: 9783030355395 List Price: $59.99
$51.31 (Save 14%)
11.
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday by Katoen, Joost-Pieter, Lange... ISBN: 9783319682693 List Price: $79.99
$51.31 (Save 35%)