この商品を友人に教える:
Specification of Software V.S. Alagar 第1 版
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.
| メディア | 書籍 Book |
| リリース済み | 1998年9月28日 |
| ISBN13 | 9780387984308 |
| 出版社 | Springer |
| ページ数 | 442 |
| 寸法 | 182 × 27 × 237 mm · 907 g |
| 言語 | 英語 フランス語 |
V.S. Alagarの他の作品を見る
すべて表示![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)
このシリーズの他の商品
![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)
同じ出版社からのその他の記事
![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)
V.S. Alagarのすべてを見る ( 例： Book および Hardcover Book )