MPG.eBooks - Author Search Results

Cover Image

1

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

2

ANNA A Language for Annotating Ada Programs : Reference Manual

by Luckham, David C., Henke, Friedrich W. von, Krieg-Brueckner, Bernd, Owe, Olaf
Published 1987

Springer Berlin Heidelberg

Cover Image

3

Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Pa...

by Dahl, Ole-Johan
Published 1996

Springer

Other Authors: “...Owe, Olaf...”

Cover Image

4

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Owe, Olaf...”

Cover Image

5

Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Select...

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Owe, Olaf...”

Cover Image

6

Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Owe, Olaf...”

Cover Image

7

ANNA A Language for Annotating Ada Programs

by Henke, Friedrich
Published 1987

Springer

Other Authors: “...Owe, Olaf...”