Recomienda este artículo a tus amigos:
Specification of Software V.S. Alagar 1.º edición
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de V.S. Alagar
Nuestros clientes opinan:
Añadir a tu lista de deseos de 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.
| Medios de comunicación | Libros Book |
| Publicado | 28 de septiembre de 1998 |
| ISBN13 | 9780387984308 |
| Editores | Springer |
| Páginas | 442 |
| Dimensiones | 182 × 27 × 237 mm · 907 g |
| Lengua | Inglés Francés |
Mas por V.S. Alagar
Mostrar todo![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)
Más de esta 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)
Más del mismo editor
![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)
Ver todo de V.S. Alagar ( Ej. Book y Hardcover Book )