
Conte aos seus amigos sobre este item:
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
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
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
Ver tudo de Hartmut Ehrig ( por exemplo Paperback Book , Hardcover Book e Book )