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

Saved in:
Bibliographic Details
Corporate Authors: International Seminar on Relational Methods in Computer Science (8th 2005 St. Catharines, Ont.); European Cooperation in the Field of Scientific and Technical Research (Organization). Workshop Workshop (2005 St. Catharines, Ont.) (St. Catharines, Ont.)); International Workshop on Applications of Kleene Algebra 2005 St. Catharines, Ont.) (St. Catharines, Ont.)); SpringerLink (Online service)
Group Author: Düntsch Ivo.; MacCaull Wendy.; Winter Michael, Ph. D.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2006.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; v. 3929
Subjects:
Online Access: http://dx.doi.org/10.1007/11734673
Carrier Form: viii, 262 p.: ill. ; 24 cm.
Index Number: TP3
CLC: TP3-532
Contents: Includes bibliographical references and index.