Título | Constructing Correct Software (Formal Approaches To Computing And Information Te | Precio | $1806.00 | |
Autor | Cooke, John | Año | 2004 | |
Editorial | Springer Publishing Company | Edición | 2ª | |
Tema | Software, Sistemas, Computacion | ISBN | 9781852338206 |
Título | Spin Model Checker The | Precio | $682.00 | |
Autor | Holzmann Gerard J. | Año | 2004 | |
Editorial | Pearson/Addison Wesley | Edición | 1ª | |
Tema | Manuales, Software, Computacion | ISBN | 9780321228628 |
Título | Software Design: From Program. To Architecture. | Precio | $1105.00 | |
Autor | Braude, Eric | Año | 2004 | |
Editorial | John Wiley & Sons Inc. | Edición | 1ª | |
Tema | Computacion, Software, Arquitectura | ISBN | 9780471204596 |