Hans Langmaack – författare

Visar alla böcker från författaren Hans Langmaack.

5 produkter

Kategorier

5 produkter

Del 75
Del 75 - Lecture Notes in Economics and Mathematical Systems
1. Fachtagung über Programmiersprachen
München, 9.–11. März 1971
AvHans Langmaack,Manfred Paul
Häftad, Tyska, 1972
769 kr
Skickas inom 10-15 vardagar
VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
AvDines Bjørner,C.A.R. Hoarem. fl.
Häftad, Engelska, 1990
749 kr
Skickas inom 10-15 vardagar
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
AvHans Langmaack,Willem-Paul de Roeverm. fl.
Häftad, Engelska, 1994
1 479 kr
Skickas inom 10-15 vardagar
Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler Control
AvJean-Raymond Abrial,Egon Börgerm. fl.
Häftad, Engelska, 1996
1 439 kr
Skickas inom 10-15 vardagar
Compositionality: The Significant Difference
International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
AvWillem-Paul de Roever,Hans Langmaackm. fl.
Häftad, Engelska, 1998
1 479 kr
Skickas inom 10-15 vardagar