Find your perfect holiday reading
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings - Lecture Notes in Computer Science 534 (Paperback)
  • Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings - Lecture Notes in Computer Science 534 (Paperback)
zoom

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings - Lecture Notes in Computer Science 534 (Paperback)

(editor), (editor), (editor), (editor)
£72.00
Paperback 384 Pages / Published: 11/09/1991
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540544968
Number of pages: 384
Weight: 1220 g
Dimensions: 233 x 155 x 20 mm
Edition: 1991 ed.

You may also be interested in...

Design Patterns
Added to basket
£44.49
Hardback
C# 2010 All-in-One For Dummies
Added to basket
Java in Easy Steps
Added to basket
£10.99
Paperback
Effective Modern C++
Added to basket
Objective-C Programming
Added to basket
Java 7 for Absolute Beginners
Added to basket
UML Distilled
Added to basket
£36.99
Paperback
API Design for C++
Added to basket
£46.50
Paperback
Getting Started with Arduino
Added to basket
Programming in C
Added to basket
Java For Everyone
Added to basket

Please sign in to write a review

Your review has been submitted successfully.