Suchergebnisse - Burstall, Rod M. 1934-
- Treffer 1 – 3 von 3
-
1Algebras, theories and freeness: an introduction for computer scientistsVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2The semantics of Clear, a specification languageVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3A study in the foundations of programming methodology: specifications, institutions, charters and parchmentsVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …