Systematic Software Development Using Vdm - Couverture souple

Jones, Cliff B.

Couverture souple

ISBN 10 : 0138807337 ISBN 13 : 9780138807337

Editeur : Prentice-Hall, 1990

Synopsis

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.

Détails de l'édition

• Éditeur: Prentice-Hall
• Date d'édition: 1990
• Langue: anglais
• ISBN 10: 0138807337
• ISBN 13: 9780138807337
• Reliure: Broché
• Numéro d'édition: 2
• Nombre de pages: 350
• Coordonnées du fabricant: non disponible
• Personne responsable: Buchpark GmbH; gpsr@buchpark.de; ; Krügerweg 1; Trebbin; Brandenburg; 14959; Allemagne