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 : advanced lectures / Marco Bernardo, Alessandro Cimatti, eds.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
![]() |
Libros Libros | Coleccion General | QA76.9F67 I574 2006 (Navegar estantería(Abre debajo)) | 1 | Disponible | 115596 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
QA76.9F48 R67 Developing with PDF / | QA76.9F5 K35 Disco duro | QA76.9F67 G57 Petri nets for systems engineering : | QA76.9F67 I574 2006 Formal methods for hardware verification : | QA76.9F67 K79 A pragmatic introduction to the finite element method for thermal and stress analysis : | QA76.9H35 A55 Using your hard disk / | QA76.9H35 V6718 Montaje del disco duro / |
compra 2013/06/06 912.00
No hay comentarios en este titulo.