Programming with VDM: An Introduction (Macmillan Computer Science S.) - Hardcover

Rolland, F.D.

Hardcover

ISBN 10: 0333565207 ISBN 13: 9780333565209

Verlag: Palgrave Macmillan, 1992

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

Details zur Ausgabe

• Verlag: Palgrave Macmillan
• Erscheinungsdatum: 1992
• Sprache: Englisch
• ISBN 10: 0333565207
• ISBN 13: 9780333565209
• Einband: Tapa dura
• Anzahl der Seiten: 136
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Koch-Chemie GmbH; https://www.koch-chemie.com; ; Einsteinstr. 42; Unna; 59423; Deutschland