CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 1...
Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 1... by Méry, Dominique, Merz, Stephan ISBN: 9783642162640 List Price: $83.00
$51.31 (Save 38%)
2.
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) by Kröger, Fred, Merz, Stephan ISBN: 9783642086809 List Price: $89.95
$83.02 (Save 7%)
3.
Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems by Merz, Stephan, Navet, Nicolas ISBN: 9781848210134 List Price: $199.95

OUT OF STOCK

See Availability on Amazon
4.
Formal Methods and Software Engineering : 16th International Conference on Formal Engineerin...
Formal Methods and Software Engineering : 16th International Conference on Formal Engineerin... by Merz, Stephan, Pang, Jun ISBN: 9783319117362 List Price: $89.99
$51.31 (Save 42%)
5.
Integrated Formal Methods
Integrated Formal Methods by M Ry, Dominique, Merz, Stephan ISBN: 9783642162664 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Formal Systems Specification : The RPC-Memory Specification Case Study
Formal Systems Specification : The RPC-Memory Specification Case Study by Broy, Manfred, Merz, Stepha... ISBN: 9783662184707 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Formal Methods and Software Engineering : 16th International Conference on Formal Engineerin...
Formal Methods and Software Engineering : 16th International Conference on Formal Engineerin... by Merz, Stephan, Pang, Jun ISBN: 9783319117386 List Price: $24.99

OUT OF STOCK

See Availability on Amazon