Hoppa till sidans huvudinnehåll

Hans Langmaack – författare

Visar alla böcker från författaren .
5 produkter
Hans Langmaack, Manfred Paul - 1. Fachtagung über Programmiersprachen, Häftad
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

749 kr

Skickas inom 10-15 vardagar

Dines Bjørner, C.A.R. Hoare, Hans Langmaack - VDM '90. VDM and Z - Formal Methods in Software Development, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad

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

Jean-Raymond Abrial, Egon Börger, Hans Langmaack - Formal Methods for Industrial Applications, Häftad

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

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli - Compositionality: The Significant Difference, Häftad

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