Hoppa till sidans huvudinnehåll

Hans Langmaack - Böcker

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, Tyska, 1972

759 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

Av Dines Bjørner, C.A.R. Hoare m. fl

Häftad, Engelska, 1990

739 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

Av Hans Langmaack, Willem-Paul de Roever m. fl

Häftad, Engelska, 1994

1 459 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

Av Jean-Raymond Abrial, Egon Börger m. fl

Häftad, Engelska, 1996

1 419 kr

Skickas inom 10-15 vardagar

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, Engelska, 1998

1 459 kr

Skickas inom 10-15 vardagar