CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Tools and Algorithms for the Construction and Analysis of Systems Third International Worksh...
Tools and Algorithms for the Construction and Analysis of Systems Third International Worksh... by Brinksma, Ed ISBN: 9783540627906 List Price: $89.95
$8.84 (Save 90%)
2.
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%)
3.
Protocol Test Systems, IV: Proceedings of the Ifip Tc6 Fourth International Workshop on Prot...
Protocol Test Systems, IV: Proceedings of the Ifip Tc6 Fourth International Workshop on Prot... by Kroon, Jan, Heijink, Rudolf... ISBN: 9780444895172 List Price: $117.50

OUT OF STOCK

See Availability on Amazon
4.
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
5.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems by Brinksma, Ed, Cleaveland, W... ISBN: 9783662170984 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Tools and Algorithms for the Construction and Analysis of Systems : Third International Work...
Tools and Algorithms for the Construction and Analysis of Systems : Third International Work... by Brinksma, Ed ISBN: 9783662167571 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Computer Aided Verification : 14th International Conference, Cav 2002 Copenhagen, Denmark, J...
Computer Aided Verification : 14th International Conference, Cav 2002 Copenhagen, Denmark, J... by Brinksma, Ed, Larsen, Kim G. ISBN: 9783662188866 List Price: $24.99

OUT OF STOCK

See Availability on Amazon