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

Bibliotek som har denne