CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control
Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control by Abrial, Jean-Raymond, Orger... ISBN: 9783540619291 List Price: $104.00
$103.17
2.
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Brger on t...
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Brger on t... by Abrial, Jean-Raymond, Gläss... ISBN: 9783642114465 List Price: $72.00
$51.31 (Save 28%)
3.
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering by Abrial, Jean-Raymond ISBN: 9780521895569 List Price: $115.00
$101.65 (Save 11%)
4.
Formal Methods for Industrial Applications
Formal Methods for Industrial Applications by Abrial, Jean-Raymond, Borge... ISBN: 9783662181935 List Price: $24.99

OUT OF STOCK

See Availability on Amazon