VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991 : proceedings. 2. Tutorials
VDM Europe. International Symposium (4: 1991 Noordwijkerhout)
Bok Engelsk 1991
Utgitt | Berlin : Springer , c1991
|
---|---|
Omfang | XIV, 430 s.
|
Emner | Computer software - Development Congresses
Abel Programmering (Databehandling) Vienna Development method programutvikling formelle metoder |
ISBN | 0387548688. - 3540548688
|