Boekhandel Douwes Den Haag

Software Abstractions

Logic, Language, and Analysis

Jackson, Daniel

Software Abstractions

Software Abstractions

Logic, Language, and Analysis

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: 3 tot 5 werkdagen

€ 47,00

Bezorgen: Levertijd 3 tot 5 werkdagen


ISBN
9780262017152
Pagina's
376
Verschenen
NUR
980
Druk
1
Uitvoering
Hardback
Taal
Engels
Uitgever
MIT University Press Group Ltd

Informatica




ondertitel

serie

auteur


meer informatie

ondertitel

serie

auteur


meer informatie

ondertitel

serie

auteur


abonneren