Povej prijatelju o tem izdelku:
Specification of Software V.S. Alagar 1. izdaja
Do you have a profile? Prijava
Prejemajte obvestila o novih izdajah izvajalca V.S. Alagar
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
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.
| Medij | Knjige Book |
| Izdano | 28. septembra 1998 |
| ISBN13 | 9780387984308 |
| Založniki | Springer |
| Strani | 442 |
| Dimenzije | 182 × 27 × 237 mm · 907 g |
| Jezik | Angleščina Francoščina |
Več od V.S. Alagar
Prikaži vse![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)
Več od te serije
![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)
Več od istega **izdajatelja**
![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)
Ogled vseh V.S. Alagar ( Na primer Book in Hardcover Book )