Relational Methods in Computer Science
8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Häftad, Engelska, 2006
Av Wendy MacCaull, Michael Winter, Ivo Düntsch, Wendy Maccaull
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274. The 17 revised full papers presented together with 3 invited papers address foundational and methodological aspects of the calculi of relations and Kleene algebra, and their application in various areas of computer science and information processing.
Produktinformation
- Utgivningsdatum2006-04-18
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor262
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540333395