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: 55.99 USD
Availability: OutOfStock
Author: Hartmut Ehrig

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

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

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de 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

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	11 de septiembre de 1991
ISBN13	9783540544968
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	384
Dimensiones	155 × 233 × 20 mm · 553 g
Lengua	Alemán
Editor	Ehrig, Hartmut
Editor	Jantke, K.p.
Editor	Orejas, Fernando
Editor	Reichel, Horst