Software abstractions: logic, language, and analysis
Auteur :
Jackson, Daniel
Éditeur :
MIT Press Ltd
ISBN :
9780262017152
Date de publication :
4 nov. 2011
Dimensions :
22,9 x 15,2 x 2,2 cm
Poids :
635 g
Format :
Cloth over boards
Langue :
Anglais
Pays d'origine :
USA
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.