Articles liés à Systematic Software Development Using Vdm
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Systematic Software Development Using Vdm
Image d'archives
Systematic Software Development Using Vdm
Edité par
Pearson Education, Limited, 1990
ISBN 10 : 0138807337
ISBN 13 : 9780138807337
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Subsequent. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 57653808-75
Acheter D'occasion
EUR 45,25
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)
Edité par
Prentice-Hall, 1990
ISBN 10 : 0138807337
ISBN 13 : 9780138807337
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut | Seiten: 350 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 38615772/3
Acheter D'occasion
EUR 8,94
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)