Algebraic specification.

Dettagli Bibliografici
Autore principale:	Bergstra, J. A.
Natura:	Libro
Lingua:	English
Pubblicazione:	New York ACM Press 1989
Serie:	ACM Press frontier series
Soggetti:	Abstract data types (Computer science)