Lecture Notes in Computer Science

Recent Trends in Data Type Specification

7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Editors: Ehrig, H., Jantke, K.P., Orejas, F., Reichel, H. (Eds.)

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-540-38416-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-54496-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets.

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-540-38416-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-54496-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Recent Trends in Data Type Specification
Book Subtitle
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
Editors
  • Hartmut Ehrig
  • Klaus P. Jantke
  • Fernando Orejas
  • Horst Reichel
Series Title
Lecture Notes in Computer Science
Series Volume
534
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38416-8
DOI
10.1007/3-540-54496-8
Softcover ISBN
978-3-540-54496-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 384
Topics