Tell your friends about this item:
Specification of Software 1st edition
V.S. Alagar
Our customers say:
Add to your iMusic wish list
Specification of Software 1st edition
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 | Books Book |
| Released | September 28, 1998 |
| ISBN13 | 9780387984308 |
| Publishers | Springer |
| Pages | 442 |
| Dimensions | 182 × 27 × 237 mm · 907 g |
| Language | English French |
Show all
More by 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) [2nd ed. 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)
More from this series
See all of V.S. Alagar ( e.g. Book and Hardcover Book )