An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
Lieferbar
ISBN | 9780262528900 |
---|---|
Sprache | eng |
Cover | Kartonierter Einband (Kt) |
Verlag | MIT Press |
Jahr | 20160212 |
Dieser Artikel hat noch keine Bewertungen.