Programming with VDM

Rolland, F. D.

ISBN 10: 0333565207 / ISBN 13: 9780333565209

Verlag: MacMillan, Basingstoke, 1992

Beschreibung

122 S., Kt., Gr. 8° (23,5 cm) Sprache: eng.

Bestandsnummer des Verkäufers 11262

Bibliografische Details

• Titel: Programming with VDM
• Verlag: MacMillan, Basingstoke
• Erscheinungsjahr: 1992
• Sprache: Englisch
• ISBN-10: 0333565207
• ISBN-13: 9780333565209
• Einband: kartoniert
• Zustand: guter Zustand
• Verkäuferkataloge:
  • Naturwissenschaft und Technik

Über diesen Titel

Inhaltsangabe

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".