CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 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.
1. Fachtagung �ber Programmiersprachen : M�nchen, 9. –11. M�rz 1971
1. Fachtagung �ber Programmiersprachen : M�nchen, 9. –11. M�rz 1971 by Langmaack, Hans, Paul, Manfred ISBN: 9783540060512 List Price: $69.95
$55.84 (Save 20%)
3.
Compositionality : The Significant Difference
Compositionality : The Significant Difference by Roever, Willem-Paul de, Lan... ISBN: 9783662193129 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Or...
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Or... by Langmaack, Hans, Roever, Wi... ISBN: 9783662192894 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
VDM '90. VDM and Z - Formal Methods in Software Development
VDM '90. VDM and Z - Formal Methods in Software Development by Bjorner, Dines, Hoare, C.A.... ISBN: 9783662186312 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
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