Magne Haveraaen - Böcker
Visar alla böcker från författaren Magne Haveraaen. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Recent Trends in Data Type Specification
11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers
Häftad, Engelska, 1996
551 kr
Skickas inom 10-15 vardagar
This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995.The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.
Algebra and Coalgebra in Computer Science
Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Häftad, Engelska, 2007
551 kr
Skickas inom 10-15 vardagar
A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.