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 (Prentice-hall International Series in Computer 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
Gebraucht kaufen
EUR 3,65
EUR 6,62 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach 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. Bestandsnummer des Verkäufers 38615772/3
Gebraucht kaufen
EUR 12,47
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar