MPG.eBooks - Author Search Results

Cover Image

1

Towards a Formal Description of Ada

by Bjørner, D.
Published 1980

Springer

Cover Image

2

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

by Bjørner, D.
Published 1990

Springer

Cover Image

3

Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Published 1980

Springer Berlin Heidelberg

Other Authors: “...Bjorner, D....”

Cover Image

4

The Vienna Development Method: The Meta-Language

Published 1978

Springer Berlin Heidelberg

Other Authors: “...Bjorner, D....”

Cover Image

5

Towards a Formal Description of Ada

Published 1980

Springer Berlin Heidelberg

Other Authors: “...Bjorner, D....”