This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
6. References
Bjoerner, D. and Jones, C.B. (eds), The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science, Vol.61, Springer-Verlag, Berlin Heidelberg New York, 1978.
Bjoerner, Dines and Jones, Cliff B., Formal Specification and Software Development, Prentice / Hall International, Englewood Cliffs, New Jersey London New Delhi Singapore Sydney Tokyo Toronto Wellington, 1982.
Bjoerner, Dines., Software Architectures and Programming Systems Design, to be published in 6 volumes, 1987/88.
Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall International, Englewood Cliffs, New Jersey London Mexico New Delhi Rio de Janiero Singapore Sydney Tokyo Toronto Wellington, 1985.
Jones, Cliff B., Software Development, A Rigorous Approach, Prentice/Hall International, Englewood Cliffs, New Jersey London New Delhi Singapore Sydney Tokyo Toronto Wellington, 1980.
Jones, Cliff B., Systematic Software Development Using VDM, Prentice/Hall International, Englewood Cliffs, New Jersey London Mexico New Delhi Rio de Janiero Singapore Sydney Tokyo Toronto Wellington, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mac an Airchinnigh, M. (1987). Introduction to the VDM tutorial. In: Bjørner, D., Jones, C.B., Mac an Airchinnigh, M., Neuhold, E.J. (eds) VDM '87 VDM — A Formal Method at Work. VDM 1987. Lecture Notes in Computer Science, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17654-3_20
Download citation
DOI: https://doi.org/10.1007/3-540-17654-3_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17654-1
Online ISBN: 978-3-540-47740-2
eBook Packages: Springer Book Archive