Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems - Dan Craigen - Libros - William Andrew Publishing - 9780815513629 - 1995
En caso de que portada y título no coincidan, el título será el correcto

Dan Craigen
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems 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

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. This title evaluates international industrial experience in using formal methods. It includes cases which are representative of industrial-grade projects.

318 pages

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 1995
ISBN13 9780815513629
Editores William Andrew Publishing
Páginas 318
Dimensiones 178 × 254 × 20 mm   ·   771 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Dan Craigen ( Ej. Paperback Book y Hardcover Book )