Amvik eBook Solutions
Read and Download eBook Online Now
Related Books
Language: en
Pages: 373
Pages: 373
Type: BOOK - Published: 2016-02-12 - Publisher: MIT Press
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy lan
Language: en
Pages: 354
Pages: 354
Type: BOOK - Published: 2012 - Publisher:
Language: en
Pages: 249
Pages: 249
Type: BOOK - Published: 2017-03-30 - Publisher: Morgan & Claypool Publishers
This book discusses how model-based approaches can improve the daily practice of software professionals. This is known as Model-Driven Software Engineering (MDS
Language: en
Pages: 302
Pages: 302
Type: BOOK - Published: 2014-11-03 - Publisher: Springer
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 1
Language: en
Pages: 735
Pages: 735
Type: BOOK - Published: 2007-06-01 - Publisher: Springer Science & Business Media
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in thi
