CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Formal Techniques, Modeling And Analysis Of Timed And Fault-Tolerant Systems Joint Internati...
Formal Techniques, Modeling And Analysis Of Timed And Fault-Tolerant Systems Joint Internati... by Lakhnech, Yassine, Yovine, ... ISBN: 9783540231677 List Price: $78.00
$52.33 (Save 32%)
2.
Tool Support for System Specification, Development and Verification Advances in Computing Sc...
Tool Support for System Specification, Development and Verification Advances in Computing Sc... by Berghammer, Rudolf, Lakhnec... ISBN: 9783211832820 List Price: $54.95
$51.31 (Save 6%)
3.
Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Concurrency Verification : Introduction to Compositional and Non-compositional Methods by Hanneman, Ulrich, Hooman, J... ISBN: 9780521169325 List Price: $90.00
$85.01 (Save 5%)
4.
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems by Lakhnech, Yassine, Yovine, ... ISBN: 9783662208878 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Tool Support for System Specification, Development and Verification
Tool Support for System Specification, Development and Verification by Berghammer, Rudolf, Lakhnec... ISBN: 9783709163566 List Price: $24.99

OUT OF STOCK

See Availability on Amazon