Showing 1 - 6 of 6 Results
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
4.
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Or... by Langmaack, Hans, Roever, Wi... ISBN: 9783662192894 List Price: $24.99
5.
Formal Methods for Industrial Applications by Abrial, Jean-Raymond, Borge... ISBN: 9783662181935 List Price: $24.99
6.
VDM '90. VDM and Z - Formal Methods in Software Development by Bjorner, Dines, Hoare, C.A.... ISBN: 9783662186312 List Price: $24.99