Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 655)
Included in the following conference series:
- ADT: Workshop on the Specification of Abstract Data Types
- COMPASS: Workshop of the ESPRIT Basic Research Working Group COMPASS
Conference proceedings info: ADT 1991, COMPASS 1991.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 papers)
Keywords
About this book
Bibliographic Information
Book Title: Recent Trends in Data Type Specification
Book Subtitle: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
Editors: Michel Bidoit, Christine Choppy
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-56379-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1993
Softcover ISBN: 978-3-540-56379-2Published: 29 January 1993
eBook ISBN: 978-3-540-47545-3Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 346
Topics: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Theory of Computation, Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs