Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types joi - detaljert visning

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Medvirkende	Dahl, Ole-Johan (redaktør) Haveraaen, Magne (redaktør) Owe, Olaf (redaktør)

Utgitt	Berlin : Springer , cop. 1996
Omfang	VIII, 550 s. : ill.
Emner	Abstrakte datatyper Algebraisk spesifikasjon Datastrukturer Datatyper Vis mer... Formell spesifikasjon Omskrivning Spesifikasjon Spesifikasjonsspråk abstrakte datatyper
Dewey	005.73
ISBN	3540616292