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: 430
ISBN-13: 9783540548683
Subjects: Applications of Computing; Software engineering; Logic Design; Computers - Languages / Programming; Programming - Software Development; Development
First sentence: The Larch family of languages is used to specify program interfaces in a two-tiered definitional style.