Bog 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 d... Læs hele produktbeskrivelsen ved at trykke på købsknappen.
