Hans Langmaack – författare
Visar alla böcker från författaren Hans Langmaack.
5 produkter
1. Fachtagung über Programmiersprachen
München, 9.–11. März 1971
Av Hans Langmaack, Manfred Paul
Häftad, 1972
749 kr
Lägg i varukorg
VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Av Dines Bjørner, C.A.R. Hoare m. fl.
Häftad, 1990
729 kr
Lägg i varukorg
Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Av Hans Langmaack, Willem-Paul de Roever m. fl.
Häftad, 1994
1449 kr
Lägg i varukorg
Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler Control
Av Jean-Raymond Abrial, Egon Börger m. fl.
Häftad, 1996
1409 kr
Lägg i varukorg
Compositionality: The Significant Difference
International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
Av Willem-Paul de Roever, Hans Langmaack m. fl.
Häftad, 1998
1449 kr
Lägg i varukorg