VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)

Date :

Editeur / Publisher : Berlin : Springer-Verlag , cop. 1990

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-387-52513-0

ISBN : 3-540-52513-0

Logiciels -- Développement

Classification Dewey : 005.1

Bjørner, Dines (1937-....) (Directeur de publication / publishing director)

Hoare, Charles Antony Richard (1934-....) (Directeur de publication / publishing director)

Langmaack, Hans (1943-....) (Directeur de publication / publishing director)

Collection : Lecture notes in computer science / Berlin : Springer , 1973-