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.)
Bok Engelsk 1990 VDM Europe
Utgitt | Berlin : Springer , c1990
|
---|---|
Omfang | XVII, 579 s. : ill.
|
Emner | Computer software - Development Congresses
Programmering (Databehandling) systemutvikling programutvikling formelle metoder vienna development method |
ISBN | 0387525130. - 3540525130
|