Opening book details…
Can I read Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers on EtoBox?
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers by Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.) is a nonfiction available to read on EtoBox.
What is Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers about?
This Book Contains A Strictly Refereed Selection Of Revised Full Papers Chosen From The Papers Accepted For Presentation During The 11th Workshop On Abstract Data Types Held Jointly With The 8th Compass Workshop In Oslo, Norway, In September 1995. The 25 Research Papers Included Were Chosen From 57 Pre-selected Workshop Presentations; Also Included Are Six Invited Contributions. The Volume Reports The Progress Achieved In The Area Of Algebraic Specification Since The Predecessor Meeting Held In May 1994--publisher's Website. Magne Haveraaen, Olaf Owe, Ole-johan Dahl, Eds. Includes Bibliographical References And Index.
Who reads Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1996
- Language
- EN
- ISBN
- 9783540706427
- Category
- nonfiction
- Subjects
- Computer Science, Education, Mathematics
More by Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
Browse all works by Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
Similar books
- 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 — Egidio Astesiano, Gianna Reggio (auth.), Michel Bidoit, Christine Choppy (1993)
- Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers — Joseph A. Goguen, Razvan Diaconescu (auth.), Hartmut Ehrig, Fernando Orejas (1994)
- Mathematical Methods for Curves and Surfaces : 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers — Michael Floater, Tom Lyche, Marie-Laurence Mazure, Knut Moerken, Larry L. Schumaker (2014)
- Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers (Informatik-Fachberichte, 116) — Eric G. Wagner (auth.), Hans-Jörg Kreowski (1985)
- System analysis and modeling : about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised, selected papers — Philipp Becker, Marc Krämer (auth.), Frank Alexander Kraemer, Peter Herrmann (2011)
- Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings — Manuel Núñez and Matthias Güdemann (2015)
