Software Abstractions
EAN 9780262528900 Priser opdateret 8. oktober 2026 kl. 12.53
Pris
479,95 kr.hos Saxo DK
- Fragt oplyses hos butikken
- På lager
Annoncelink: Vi kan modtage provision, hvis du køber via linket.
-
Saxo DK
479,95 kr.
- Varepris
- 479,95 kr.
- Fragt
- Ikke oplyst
- Levering
- Ikke oplyst
- Lager
- På lager
Om produktet
Beskrivelse fra Saxo DK
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. 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
Læs mere Vis mindre
"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. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.
Specifikationer
- Mærke
- Daniel Jackson
- EAN
- 9780262528900
- Butikker
- Saxo DK
Prisudvikling
Prisen har ikke ændret sig siden 8. oktober, hvor vi begyndte at følge den.
Laveste samlede pris inkl. kendt fragt blandt butikker, der sælger produktet nu.