Hoppa till sidans huvudinnehåll

Hans Langmaack - Böcker

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

729 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. Hoare,Hans Langmaack,C. a. R. Hoare,C. A. R. Hoare

Häftad, Engelska, 1990

709 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 Roever,Jan Vytopil,Willem-Paul De Roever

Häftad, Engelska, 1994

1 409 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

AvJean-Raymond Abrial,Egon Börger,Hans Langmaack

Häftad, Engelska, 1996

1 369 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 Langmaack,Amir Pnueli,Willem-Paul De Roever

Häftad, Engelska, 1998

1 409 kr

Skickas inom 10-15 vardagar