Description: An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
Pub Date: February 12, 2016
Dewey: 005.1
Lexile Code: 0000
Features: Bibliography, Index, Price on Product
Target Age Group: 18 to UP
Physical Info: 0.80" H x 8.90" L x 5.90" W ( 1.10 lbs) 376 pages
BISAC Categories:
Computers | Software Development and Engineering | Systems Analysis and Design
Description: An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.