DF (55) 55 54 94 02 • Cuernavaca (777) 102 83 86
Síguenos en:
 |  |  |
(55) 55 54 94 02
Libros relacionados
 |
Virtual Design Of An Audio Lifelogging System: Tools For Iot Systems Mears, Brian / Shah, Mohit Morgan & Claypool Publishers |
|
Reconstruccion de "Razones" Hispanoamericanas. María Angélica Salmerón Jiménez Universidad Veracruzana |
|
Título: Software Abstractions - Logic, Language And Analysis | |
| Autor: Jackson, Daniel | Precio: $560.00 | |
| Editorial: Triliteral Llc | Año: 2006 | |
| Tema: Software, Logica, Informatica | Edición: 1ª | |
| Sinopsis | ISBN: 9780262101141 | |
| In software abstractions Daniel Jackson introduces a new approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as pobbible. | ||
Disponibilidad: Bajo pedido
ó
ó
Librería Bonilla SA de CV © Todos los derechos reservados. 2019
Última actualización: Jul 2019