TY  - EBOOK
TI  - Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers
T3  - 
T3  - 655
AU  - Bidoit, Michel
editor = {Bidoit, Michel},
A2  - Bidoit, Michel
CY  - Berlin u.a.
PB  - Springer
PY  - 1993
PY  - 1993
LA  - English
KW  - Logic design
KW  - Abstract data types (Computer science)
KW  - Congresses
KW  - Computer science
KW  - Software engineering
KW  - Information theory.
KW  - Data structures (Computer science).
KW  - Compilers (Computer programs).
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - Software Engineering
KW  - Konferenzschrift
KW  - Abstrakter Datentyp
KW  - Spezifikation
KW  - (DE-627)
SN  - 9783540475453
N1  - Literaturangaben
UR  - http://www.springerlink.com/content/p04544882t52
UR  - http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56379-2
UR  - http://dx.doi.org/10.1007/3-540-56379-2
UR  - https://doi.org/10.1007/3-540-56379-2
UR  - https://zbmath.org/?q=an:0825.00065
UR  - https://katalog.fid-bbi.de/Record/183-595126804
ER  -