Pastāsti draugiem par šo preci:
Specification of Software V.S. Alagar 1. izdevums
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.
| Mediji | Grāmatas Book |
| Izlaists | 1998. gada 28. septembris |
| ISBN13 | 9780387984308 |
| Izdevēji | Springer |
| Lapas | 442 |
| Izmēri | 182 × 27 × 237 mm · 907 g |
| Valoda | Angļu Franču |
Vairāk no V.S. Alagar
Rādīt visu![Cover for V.S. Alagar · Specification of Software Systems (Book) [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-book&class=scaled&v=1410620481)
Mere med samme udgiver
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
Vairāk no šīs sērijas
![Cover for V.S. Alagar · Specification of Software Systems - Texts in Computer Science (Hardcover Book) [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-hardcover-book&class=scaled&v=1430513574)
Skatīt visus V.S. Alagar ( piem., Book un Hardcover Book )