Program construction : calculating implementations from specifications
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
West Sussex :
John Wiley and Sons,
2003
|
| Edición: | 1st ed. |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | xii, 340 p. : il. |
| ISBN: | 9780470848821 |