Boekhandel Douwes Den Haag

The MIT Press

Software Abstractions

Logic, Language, and Analysis

Daniel Jackson

Software Abstractions

The MIT Press

Software Abstractions

Logic, Language, and Analysis

The MIT Press: Software Abstractions

 

In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls lightweight formal methods or agile modeling--takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback.


Levertijd: 5 tot 8 werkdagen

€ 46,25

Bezorgen: Levertijd 5 tot 8 werkdagen


Beschrijving The MIT Press: Software Abstractions

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.


ISBN
9780262017152
Pagina's
376
Verschenen
Serie
The MIT Press
NUR
989
Druk
1
Uitvoering
Hardback
Taal
Engels
Uitgever
MIT Press Ltd

Programmeertalen




ondertitel

serie

auteur


meer informatie

ondertitel

serie

auteur


meer informatie

ondertitel

serie

auteur


abonneren