Recomienda este artículo a tus amigos:
Practical Formal Methods for Hardware Design - Research Reports Esprit; Project 6128: Format C Delgado Kloos Softcover Reprint of the Original 1st Ed. 1997 edition
Practical Formal Methods for Hardware Design - Research Reports Esprit; Project 6128: Format
C Delgado Kloos
This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enterprises, a research institute, and two universities.
308 pages, 40 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 28 de mayo de 1997 |
| ISBN13 | 9783540620075 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 308 |
| Dimensiones | 156 × 234 × 16 mm · 435 g |
| Lengua | Alemán |
| Editor | Damm, Werner |
| Editor | Delgado Kloos, Carlos |