Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers
Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
Bok Engelsk 1995 Workshop on Specification of Abstract Data Types
Utgitt | Berlin : Springer , c1995
|
---|---|
Omfang | VIII, 523 s. : ill.
|
Emner | Datastrukturer
Datatyper Typespesifikasjon Typeteori programmeringsspråk teori formelle metoder datastøttet kvalitetskontroll |
ISBN | 354059132X
|