Specification and transformation of programs : a formal approach to software development /
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | LEABHAR |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Berlin ; New York :
Springer-Verlag,
c1990.
|
| Sraith: | Texts and monographs in computer science
|
| Ábhair: |
CARM 1 Store
| Gairmuimhir: |
A2:AM07G0 C06637 |
|---|---|
| Cóip 1 | Ar fáil Cuir coinneáil air |