Tipsa dina vänner om produkten:
Specification of Software V.S. Alagar 1:a utgåva
Har du en profil? Logga in
Få avisering om nya utgåvor med V.S. Alagar
Lägg till din iMusic-önskelista
eller
Specification of Software
V.S. Alagar
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.
![Cover for V.S. Alagar · Specification of Software Systems (Bok) [Softcover reprint of hardcover 2nd ed. 2011 edition] (2013)](https://imusic.b-cdn.net/images/item/original/447/9781447126447.jpg?v-s-alagar-2013-specification-of-software-systems-bok&class=scaled&v=1410620481)
![Cover for V.S. Alagar · Specification of Software Systems - Texts in Computer Science (Inbunden Bok) [Second Edition 2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/766/9780857292766.jpg?v-s-alagar-2011-specification-of-software-systems-texts-in-computer-science-inbunden-bok&class=scaled&v=1430513574)
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Pocketbok) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Inbunden Bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-inbunden-bok&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Inbunden Bok) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-inbunden-bok&class=scaled&v=1605099239)
