Hoppa till sidans huvudinnehåll

Hans Langmaack – författare

Visar alla böcker från författaren Hans Langmaack.
5 produkter
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

739 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

719 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 439 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 399 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 439 kr

Skickas inom 10-15 vardagar