Specification of Software - V.S. Alagar - Libros - Springer - 9780387984308 - 28 de septiembre de 1998
En caso de que portada y título no coincidan, el título será el correcto

V.S. Alagar
Specification of Software 1.º edición

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Más de esta serie

Ver todo de V.S. Alagar ( Ej. Book y Hardcover Book )