Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Edición de la obra Formal Methods for Hardware Verification
| Autor | Marco Bernardo, Alessandro Cimatti |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2006 |
| Idioma | inglés |
| ISBN-13 | 9783540343059 |
| Número de Cutter | B523f |