Recent trends in algebraic development techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers Martin Wirsing, Dirk Pattinson, Rolf Hennicker

Contributor(s):

Series: Lecture notes in computer science ; 2755Publication details: Berlin New York Springer-Verlag c2003Description: viii, 456 p ill 24 cmISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	II 35183 (Browse shelf(Opens below))	Available		0000164

Previous								Next
Previous	II 35179 A new introduction to modal logic	II 35181 First-order modal logic	II 35182 Locally presentable and accessible categories	II 35183 Recent trends in algebraic development techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers	II 35184 Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers	II 35185 Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers	II 35186 Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings	Next

There are no comments on this title.

to post a comment.