Verwandte Artikel zu Systematic Software Development Using Vdm (Prentice-hall...
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer 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.
Suchergebnisse für Systematic Software Development Using Vdm (Prentice-hall...
Beispielbild für diese ISBN
Systematic Software Development Using Vdm
Verlag:
Pearson Education, Limited, 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Gebraucht
Softcover
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. 57653808-75
Gebraucht kaufen
EUR 45,25
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
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 | Keine Beschreibung verfügbar. Artikel-Nr. 38615772/3
Gebraucht kaufen
EUR 8,94
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar