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 Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionviii, 262 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Computer science--Congresses.
Relationism--Congresses.
Algebra--Computer programs. --Congresses.
Relation algebras--Congresses.

Other author/creatorMacCaull, Wendy.
Other author/creatorWinter, Michael, Ph. D.
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, 0302-9743 ; 3929
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2006924115
ISBN3540333398 (pbk.)
ISBN9783540333395

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available