VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee (Lecture Notes in Computer Science)
Contributors: Soren Prehn (Editor); Hans Toetenel (Editor); VDM-Europe (Other Contributor)
Publisher: Springer
Published: November 1991
Language: eng
Format: Paperback
Number of pages: 699
ISBN-13: 9783540548348
Subjects: Applications of Computing; Software engineering; Logic Design; Programming - Software Development; Computers - Languages / Programming; Development