Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)
| Other Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Subjects: |
Μηχανικών Η/Υ και Πληροφορικής: Unknown
| Call Number: |
Unknown |
|---|---|
| Copy 1 | Available |
