Recent Types in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th Compass Workshop, Caldes De Malavella, Spain, October 26-30, 1992 - Selected Papers - Lecture Notes in Computer Science - Hartmut Ehrig - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540578673 - 28 de abril de 1994
Caso a capa e o título não sejam correspondentes, considere o título como correto

Recent Types in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th Compass Workshop, Caldes De Malavella, Spain, October 26-30, 1992 - Selected Papers - Lecture Notes in Computer Science

Hartmut Ehrig

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 14 - 22 de ago
Adicione à sua lista de desejos do iMusic

Recent Types in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th Compass Workshop, Caldes De Malavella, Spain, October 26-30, 1992 - Selected Papers - Lecture Notes in Computer Science

The main topics covered by this volume include object-oriented specifications, rewriting methods, specification languages and associated tools, type systems and the algebraic specification of concurrency.


356 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 28 de abril de 1994
ISBN13 9783540578673
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 356
Dimensões 156 × 234 × 19 mm   ·   508 g
Idioma German  
Editor Ehrig, Hartmut
Editor Orejas, Fernando

Mostrar tudo

Mais por Hartmut Ehrig