1.
Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control
by Abrial, Jean-Raymond, Orger...
ISBN: 9783540619291
List Price: $104.00
2.
1. Fachtagung �ber Programmiersprachen : M�nchen, 9. –11. M�rz 1971
by Langmaack, Hans, Paul, Manfred
ISBN: 9783540060512
List Price: $69.95
3.
Compositionality : The Significant Difference
by Roever, Willem-Paul de, Lan...
ISBN: 9783662193129
List Price: $24.99
OUT OF STOCK
See Availability on Amazon4.
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 Amazon5.
Formal Methods for Industrial Applications
by Abrial, Jean-Raymond, Borge...
ISBN: 9783662181935
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
VDM '90. VDM and Z - Formal Methods in Software Development
by Bjorner, Dines, Hoare, C.A....
ISBN: 9783662186312
List Price: $24.99