Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science) - Softcover

Jones, Cliff B.

 
9780138807337: Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)
Softcover
ISBN 10: 0138807337 ISBN 13: 9780138807337
Verlag: Prentice-Hall, 1990

Inhaltsangabe

A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.

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

Reseña del editor

A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Prentice-Hall
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0138807337
ISBN 13 
9780138807337
Einband
Tapa blanda
Anzahl der Seiten
350
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780138807252: Systematic Software Development Using V. D. M.

Vorgestellte Ausgabe

ISBN 10:  0138807256 ISBN 13:  9780138807252
Verlag: Prentice-Hall, 1986
Softcover