Synopsis
This text aims to provide a practical programmer's introduction to VDM (Vienna Development Method) - one of the leading formal methods for program development. It adopts an object-oriented approach to software design and includes many examples of target programs written in Modula-2. Although the book is intended for readers with some experience of programming, no prior knowledge of mathematics is assumed: the contents include a chapter on the mathematics required for VDM. The final chapter contains a prototype electronic mail system, specified to use VDM and implemented in Modula-2. The author has also written " Relational Database Management With Oracle".
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Programming with VDM: An Introduction (Macmillan Computer...
Seller Image
Programming with VDM
Published by
MacMillan, Basingstoke, 1992
ISBN 10: 0333565207
ISBN 13: 9780333565209
Used
kartoniert
Seller: Antiquariat Torsten Bernhardt eK, Hamburg, Germany
Seller rating 3 out of 5 stars
kartoniert. Condition: guter Zustand. 122 S., Kt., Gr. 8° (23,5 cm) Sprache: eng. Seller Inventory # 11262