Articoli correlati a Systematic Software Development Using Vdm

Systematic Software Development Using Vdm - Brossura

Jones, Cliff B.

 
9780138807337: Systematic Software Development Using Vdm
Brossura
ISBN 10: 0138807337 ISBN 13: 9780138807337
Casa editrice: Prentice Hall, 1990

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Prentice Hall
Data di pubblicazione
1990
Lingua
Inglese
ISBN 10 
0138807337
ISBN 13 
9780138807337
Rilegatura
Copertina flessibile
Numero di pagine
350
Contatto del produttore
non disponibile
Persona responsabile
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Germania