Programming with VDM: An Introduction - Couverture rigide

Rolland, F.D.

9780333565209: Programming with VDM: An Introduction

Couverture rigide

ISBN 10 : 0333565207 ISBN 13 : 9780333565209

Editeur : Palgrave Macmillan, 1992

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 20

0 Neuf

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

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Palgrave Macmillan
Date d'�dition: 1992
Langue: anglais
ISBN 10: 0333565207
ISBN 13: 9780333565209
Reliure: Reli�
Nombre de pages: 136
Coordonn�es du fabricant: non disponible
Personne responsable: Koch-Chemie GmbH
https://www.koch-chemie.com

Einsteinstr. 42
Unna
59423
Allemagne