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...

Head First C#
Added to basket
£43.99
Paperback
Essential C# 6.0
Added to basket
£44.49
Paperback
Java in Easy Steps
Added to basket
£10.99
Paperback
C++ Primer
Added to basket
£44.49
Paperback
Effective Modern C++
Added to basket
Jumping Into C++
Added to basket
£22.00
Paperback
C# in Depth
Added to basket
£31.99
Paperback
Clojure For The Brave And True
Added to basket
Practical Object-Oriented Design in Ruby
Added to basket
Java For Everyone
Added to basket
The Well-Grounded Rubyist
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
Getting Started with Arduino
Added to basket
C# 2010 All-in-One For Dummies
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.