CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Computer Aided Verification
Computer Aided Verification by Halbwachs, Nicolas, Peled, ... ISBN: 9783540662020 List Price: $89.95
$51.31 (Save 42%)
2.
Tools And Algorithms for the Construction And Analysis of Systems 11th International Confere...
Tools And Algorithms for the Construction And Analysis of Systems 11th International Confere... by Halbwachs, Nicolas, Zuck, L... ISBN: 9783540253334 List Price: $104.00
$103.17
3.
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems by Halbwachs, Nicolas ISBN: 9781441951335 List Price: $229.00
$51.31 (Save 77%)
4.
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems by Halbwachs, Nicolas ISBN: 9780792393115 List Price: $229.00
$52.33 (Save 77%)
5.
Computer Aided Verification
Computer Aided Verification by Halbwachs, Nicolas, Peled, ... ISBN: 9783662192832 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems by Halbwachs, Nicolas ISBN: 9781475722321 List Price: $24.99

OUT OF STOCK

See Availability on Amazon