Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005884718/catalog> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- catalog abstract ""This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994. The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop."--PUBLISHER'S WEBSITE.".
- catalog contributor b8263842.
- catalog contributor b8263843.
- catalog contributor b8263844.
- catalog contributor b8263845.
- catalog contributor b8263846.
- catalog created "1995.".
- catalog date "1995".
- catalog date "1995.".
- catalog dateCopyrighted "1995.".
- catalog description ""This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994. The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references (pages 506-523).".
- catalog extent "523 p. ;".
- catalog identifier "038759132X (New York)".
- catalog identifier "354059132X (Berlin)".
- catalog isPartOf "Lecture notes in computer science ; 906".
- catalog issued "1995".
- catalog issued "1995.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "005.7/3 20".
- catalog subject "Abstract data types (Computer science) Congresses.".
- catalog subject "QA76.9.A23 W67 1994".
- catalog title "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 : proceedings / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds.".
- catalog type "Conference proceedings. fast".
- catalog type "text".