Practical Formal Methods With Vdm (McGraw Hill International Series in Software Engineering) - Softcover

Andrews, Derek; Ince, Darrel

 
9780077072148: Practical Formal Methods With Vdm (McGraw Hill International Series in Software Engineering)
Softcover
ISBN 10: 0077072146 ISBN 13: 9780077072148
Verlag: McGraw-Hill Publishing Co., 1991

Inhaltsangabe

This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses. The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section. It then goes on to summarize the syntax of the VDM used. Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
McGraw-Hill Publishing Co.
Erscheinungsdatum
1991
Sprache
Englisch
ISBN 10 
0077072146
ISBN 13 
9780077072148
Einband
Taschenbuch
Anzahl der Seiten
480
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar