|
Showing 1 - 2 of
2 matches in All Departments
|
Algebra and Coalgebra in Computer Science - Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Paperback, 2007 ed.)
Till Mossakowski, Ugo Montanari, Magne Haveraaen
|
R1,640
Discovery Miles 16 400
|
Ships in 10 - 15 working days
|
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.
|
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 (Paperback, 1996 ed.)
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
|
R1,853
Discovery Miles 18 530
|
Ships in 10 - 15 working days
|
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Tenet
John David Washington, Robert Pattinson, …
DVD
R53
Discovery Miles 530
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.