The Vienna development method
Subtitle: the Meta-language
By: edited by D. Bjørner and C. B. Jones.
Contributors: Bjørner, D. 1937-; Jones, C. B. 1944-
Series: Lecture notes in computer science ;; 61
Publisher: Springer-Verlag
Published: 1978
Place of publication: Berlin; New York
Language: eng
Number of pages: 382
Subjects: ML (Computer program language)
Other titles: Meta-language.
Notes: Bibliography: p. [375]-382.