MPG.eBooks - Author Search Results

Cover Image

1

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...

by Langmaack, Hans
Published 1994

Springer

Cover Image

2

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

by Roever, Willem-Paul
Published 1998

Springer-Verlag Berlin Heidelberg

Other Authors: “...Langmaack, Hans...”

Cover Image

3

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

by Abrial, Jean-Raymond
Published 1996

Springer

Other Authors: “...Langmaack, Hans...”

Cover Image

4

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

Published 1972

Springer Berlin Heidelberg

Other Authors: “...Langmaack, Hans...”

Cover Image

5

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Langmaack, Hans...”

Cover Image

6

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Langmaack, Hans...”

Cover Image

7

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

Published 1990

Springer Berlin Heidelberg

Other Authors: “...Langmaack, Hans...”

Cover Image

8

Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, German...

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Langmaack, Hans...”