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

Name: Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen / Dosse, Germany, April 17-20, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science
Price: 212.9 PLN
Availability: OutOfStock
Author: Hartmut Ehrig

Cena

zł 212,90

Zamówione z odległego magazynu

Przewidywana dostawa 1 - 9 sty 2026

Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów

Najwyższa ocena na Trustpilot

Dodaj do swojej listy życzeń iMusic

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

Hartmut Ehrig

Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.

384 pages, biography

Media	Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem)
Wydane	11 września 1991
ISBN13	9783540544968
Wydawcy	Springer-Verlag Berlin and Heidelberg Gm
Strony	384
Wymiary	155 × 233 × 20 mm · 553 g
Język	Niemiecki
Redaktor	Ehrig, Hartmut
Redaktor	Jantke, K.p.
Redaktor	Orejas, Fernando
Redaktor	Reichel, Horst