Vertel uw vrienden over dit artikel:
Specification of Software V.S. Alagar 1e uitgave
Heb je een profiel? Inloggen
Ontvang meldingen over nieuwe releases van V.S. Alagar
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Book |
| Vrijgegeven | 28 september 1998 |
| ISBN13 | 9780387984308 |
| Uitgevers | Springer |
| Pagina's | 442 |
| Afmetingen | 182 × 27 × 237 mm · 907 g |
| Taal en grammatica | Engels Frans |
Meer door V.S. Alagar
Alles tonen![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)
Meer uit deze serie
![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)
Meer van dezelfde uitgever
![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)
Bekijk alles van V.S. Alagar ( bijv. Book en Hardcover Book )