Fortell venner om denne varen:
Specification of Software V.S. Alagar 1. utgave
Har du en profil? Logg inn
Få varsel om nye utgivelser fra V.S. Alagar
Legg til iMusic ønskeliste
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.
| Media | Bøker Bok |
| Utgitt | 28. september 1998 |
| ISBN13 | 9780387984308 |
| Utgivere | Springer |
| Antall sider | 442 |
| Mål | 182 × 27 × 237 mm · 907 g |
| Språk | Engelsk Fransk |
Mer med V.S. Alagar
Vis alle![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)
Flere i samme serie
![Cover for V.S. Alagar · Specification of Software Systems - Texts in Computer Science (Innbunden 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-innbunden-bok&class=scaled&v=1430513574)
Mer fra samme **utgiver**
![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)
Se alt med V.S. Alagar ( f.eks. Bok og Innbunden bok )