VDM '88. VDM - The Way Ahead
2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. VDM - The Way Ahead is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term formal method refers to mathematically formal software specification and production methods. These methods aim to increase the…
Mehr
CHF 130.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Jones, Roger B. (Hrsg.) / Marshall, Lynn S. (Hrsg.)
- ISBN: 978-3-540-50214-2
- EAN: 9783540502142
- Produktnummer: 3260970
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1988
- Seitenangabe: 516 S.
- Masse: H23.5 cm x B15.5 cm x D2.7 cm 774 g
- Auflage: 1988
- Abbildungen: Paperback
- Gewicht: 774
Bewertungen
Anmelden