Imagen de Amazon.com
Formal specification : techniques and applications / Nismal Nissanke
Tipo de material:
TextoIdioma: ENG Editor: New York : Springer Verlag, 1999Descripción: 295 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 1852330023 (papel alcalino)Tema(s): Métodos formales (Computación) | Software de aplicación -- DesarrolloClasificación CDD: 005.13/1 Clasificación LoC:QA76.9F67 | N57
| 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.9F67 N57 (Navegar estantería(Abre debajo)) | 1 | Disponible | 84180 | ||
|
Libros
|
Libros Libros | Coleccion General | QA76.9F67 N57 (Navegar estantería(Abre debajo)) | 1 | Disponible | 84385 | ||
|
Libros
|
Libros Libros | Coleccion General | QA76.9F67 N57 (Navegar estantería(Abre debajo)) | 1 | Disponible | 88596 | ||
|
Libros
|
Libros Libros | Coleccion General | QA76.9F67 N57 (Navegar estantería(Abre debajo)) | 1 | Disponible | 88597 |
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.9F67 N54 Formal methods | QA76.9F67 N57 Formal specification : | QA76.9F67 N57 Formal specification : | QA76.9F67 N57 Formal specification : | QA76.9F67 N57 Formal specification : | QA76.9F69 S53 Using foxpro 2 | QA76.9G37 J65 1996 Garbage collection : |
Incluye referencias bibliograficas e indice
No hay comentarios en este titulo.