Imagen de Amazon.com
Verification of digital and hybrid systems / ed. by M. Kemal Inan, Robert P. Kurshan
Tipo de material:
TextoIdioma: SPA Editor: Berlin : Springer Verlag, c2000Descripción: 405 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540655956Tema(s): Sistemas para computadoras -- VerificaciónClasificación LoC:QA76.76V47 | V47
| 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 Libros | Coleccion General | QA76.76V47 V47 (Navegar estantería(Abre debajo)) | 1 | Disponible | 84822 | ||
|
Libros
|
Libros Libros | Coleccion General | QA76.76V47 V47 (Navegar estantería(Abre debajo)) | 1 | Disponible | 85159 | ||
|
Libros
|
Libros Libros | Coleccion General | QA76.76V47 V47 (Navegar estantería(Abre debajo)) | 1 | Disponible | 88698 | ||
|
Libros
|
Libros Libros | Coleccion General | QA76.76V47 V47 (Navegar estantería(Abre debajo)) | 1 | Disponible | 89806 |
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.76V47 I57 2001 Model checking software : | QA76.76V47 M35 Temporal verification of reactive systems : | QA76.76V47 V47 Verification of digital and hybrid systems / | QA76.76V47 V47 Verification of digital and hybrid systems / | QA76.76V47 V47 Verification of digital and hybrid systems / | QA76.76V47 V47 Verification of digital and hybrid systems / | QA76.76W56 B68 Maximizing windows 3 Getting the most from microsoft windows |
No hay comentarios en este titulo.