Povedzte o tejto položke priateľom:
Specification of Software V.S. Alagar 1. vydanie
Do you have a profile? Prihlásiť sa
Dostávajte upozornenia na nové nahrávky interpreta V.S. Alagar
Naši zákazníci hovoria:
Pridať do vášho zoznamu prianí na 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.
| Médium | Knihy Book |
| Vydané | 28. septembra 1998 |
| ISBN13 | 9780387984308 |
| Vydavatelia | Springer |
| Strany | 442 |
| Rozmery | 182 × 27 × 237 mm · 907 g |
| Jazyk | Angličtina Francúzština |
Viac od V.S. Alagar
Zobraziť všetko![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)
Viac z tejto série
![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)
Viac od toho istého vydavateľa
![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)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [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-hardcover-book&class=scaled&v=1786374320)
Pozrieť všetko od V.S. Alagar