Program construction : calculating implementations from specifications. /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Inglaterra :
John Wiley and Sons, Inc,
2003.
|
| Subjects: |
| Physical Description: | 1 recurso en línea. |
|---|---|
| Bibliography: | Referencias bibliográficas |
| ISBN: | 9780470864548 |