Program construction : calculating implementations from specifications. /
Autor principal: | |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Inglaterra :
John Wiley and Sons, Inc,
2003.
|
Materias: |
Descripción Física: | En línea. |
---|---|
Bibliografía: | Referencias bibliográficas |
ISBN: | 9780470864548 |