Imagen de Amazon.com
Tool support for system specification development and verification : advances in computing science / R. Berghammer, Y Lakhnech, eds.
Tipo de material:
TextoIdioma: SPA Editor: Wien : Springer Verlag, c1999Descripción: 232 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3211832823Tema(s): Diseño de sistemas -- Discursos, ensayos, conferencias | Programas para computadora -- Verificación | Software para computadora -- DesarrolloClasificación LoC:QA76.9S88 | T66
| 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.9S88 T66 (Navegar estantería(Abre debajo)) | 1 | Disponible | 87161 |
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.9S88 P77 Program design calculi / | QA76.9S88 S4418 Análisis y diseño de sistemas de información | QA76.9S88 S4418 Análisis y diseño de sistemas de información | QA76.9S88 T66 Tool support for system specification development and verification : | QA76.9S88 T74 The Politics of usability : | QA76.9S88 T74 The Politics of usability : | QA76.9S88 V47 Information modelling : |
No hay comentarios en este titulo.