Verwandte Artikel zu Systematic Software Development Using V. D. M. (Prentice...
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science) - Softcover
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.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Systematic Software Development Using V. D. M. (Prentice...
Beispielbild für diese ISBN
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.6. Bestandsnummer des Verkäufers G0138807337I3N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Seiten: 350 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 38615772/3
Anzahl: 1 verfügbar
Foto des Verkäufers
Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science)
Verlag:
Prentice-Hall 01.04.1990., 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Gebraucht
Softcover
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Auflage: 2 Sub. 350 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 23,2 x 17,4 x 1,8 cm, Taschenbuch. Bestandsnummer des Verkäufers 377358
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Bestandsnummer des Verkäufers GOR001510392
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. Bestandsnummer des Verkäufers GOR002849933
Anzahl: 1 verfügbar