Verwandte Artikel zu Systematic Software Development Using Vdm (Prentice-hall...

Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science) - Softcover

Jones, Cliff B.

 
9780138807337: Systematic Software Development Using Vdm (Prentice-hall International Series in Computer 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.

Verlag
Prentice-Hall
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0138807337
ISBN 13 
9780138807337
Einband
Taschenbuch
Anzahl der Seiten
350
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Deutschland