Hans Langmaack

No bio available. Add one in Open Library.

Books by Hans Langmaack (50 max)

+ shelf+ list

Zur Konstruktion von Holomorphiehüllen unverzweigeter Gebiete über dem Cn

1960

Hans Langmaack

+ shelf+ list

1. Fachtagung Über Programmiersprachen München, 9.-11. März 1971

1972

Hans Langmaack, Manfred Paul

+ shelf+ list

1. Fachtagung über Programmiersprachen München, 9.-11. März 1971

1972

Hans Langmaack, Manfred Paul

+ shelf+ list

Formal techniques in real-time and fault-tolerant systems.

1994

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

+ shelf+ list

Compositionality : the Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

2003

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli

+ shelf+ list

VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

2014

Dines Bjørner, C. A. R. Hoare, Hans Langmaack