Conte aos seus amigos sobre este item:
Specification of Software V.S. Alagar 1º edição
Você tem um perfil? Entrar
Receba avisos sobre novos lançamentos de V.S. Alagar
O que dizem nossos clientes:
Adicione à sua lista de desejos do 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ídia | Livros Book |
| Lançado | 28 de setembro de 1998 |
| ISBN13 | 9780387984308 |
| Editoras | Springer |
| Páginas | 442 |
| Dimensões | 182 × 27 × 237 mm · 907 g |
| Idioma | Inglês Francês |
Mais por V.S. Alagar
Mostrar tudo![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)
Mais dessa 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)
Mais da mesma editora
![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 tudo de V.S. Alagar ( por exemplo Book e Hardcover Book )