Logic for applications / Anil Nerode, Richard A. Shore.
Tipo de material:
TextoSeries Graduate texts in computer scienceDetalles de publicación: New York : Springer, 1997Edición: 2nd edDescripción: xiii, 456 p. : il. ; 24 cmISBN: 0387948937 (New York hc acid free paper); 9780387948935Tema(s): Computer science -- Mathematics | Logic, Symbolic and mathematicalClasificación LoC:QA76.9.M35 | N47 1997
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Central Tijuana | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 1 | Disponible | TIJ113496 | |
|
Libro
|
Biblioteca Central Tijuana | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 2 | Disponible | TIJ113497 | |
|
Libro
|
Biblioteca Central Tijuana | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 3 | Disponible | TIJ113498 | |
|
Libro
|
Biblioteca Central Tijuana | Acervo General | QA76.9.M35 N47 1997 (Browse shelf(Abre debajo)) | 4 | Disponible | TIJ124390 | |
|
Libro
|
Valle de las Palmas | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 1 | Disponible | PAL013035 |
Navegando Valle de las Palmas Estantes, Código de colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| QA76.9 .M35 E56 2009 Empezando a programar / | QA76.9 .M35 E56 2009 Empezando a programar / | QA76.9 .M35 E56 2009 Empezando a programar / | QA76.9 .M35 N47 1997 Logic for applications / | QA76.9 .O35 B53 2005 Object-oriented modeling and design with UML / | QA76.9 .O35 F6818 1999 UML gota a gota / | QA76.9 .O35 F6818 1999 UML gota a gota / |
Incluye referencias bibliográficas (p. 409-438) e índice.
