VDM '90 : VDM and Z-formal methods in software development : Third International Symposium of VDM Eu - detaljert visning

VDM '90 : VDM and Z-formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings

VDM Europe
Bok Engelsk 1990


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