Recomienda este artículo a tus amigos:
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems Dan Craigen 1.º edición
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Dan Craigen
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Dan Craigen
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 |
