• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Procee

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Procee

Paperback

Series: Lecture Notes in Computer Science, Book 534

General ComputersProgramming

ISBN10: 3540544968
ISBN13: 9783540544968
Publisher: Springer
Published: Sep 11 1991
Pages: 384
Weight: 1.22
Height: 0.81 Width: 6.14 Depth: 9.21
Language: English
This volume contains the proceedings of a workshop on specification of abstract data types. The main topics are modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.

Also from

Ehrig, Hartmut

Also in

General Computers