Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.).

Author/creator International Seminar on Relational Methods in Computer Science
Format Book
Publication InfoBerlin ; New York : Springer, ©2006.
Descriptionviii, 262 pages : illustrations ; 24 cm.
Subjects
Computer science--Congresses.
Relationism--Congresses.
Algebra--Computer programs. --Congresses.
Relation algebras--Congresses.

Other author/creatorMacCaull, Wendy.
Other author/creatorWinter, Michael (Professor)
Other author/creatorDüntsch, Ivo.
Other author/creatorEuropean Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project). Workshop (2005 : St. Catharines, Ont.)
Other author/creatorInternational Workshop on Applications of Kleene Algebra 2005 : St. Catharines, Ont.) (3rd :
SeriesLecture notes in computer science ; 3929, 0302-9743 ;
Lecture notes in computer science 3929. ^A466336
LCCN 2006924115
ISBN3540333398 (pbk.)
ISBN9783540333395

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76 .R437 2005 ✔ Available Place Hold