Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Introduction.- Preliminaries.- Challenges in Model Refinement.- Verification of Vertical Refinement.- Extraction of a Relation for Vertical Refinement.- Verification of Horizontal Refinement.- Summary and Conclusions.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!
Kaufgesuch aufgeben