Relational and algebraic methods in computer science: 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30-June 3, 2011 ; proceedings

Medientyp: Buch; Konferenzbericht
Titel: Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30-June 3, 2011 ; proceedings
Beteiligte: De Swart, Harrie [Hrsg.]
Veranstaltung: RAMICS
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6663
Umfang: VIII, 361 S.; graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 3642210694; 9783642210693
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80062699
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Relationenalgebra > Kleene-Algebra
Algebraische Methode > Mathematische Logik
Algebraische Spezifikation
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30-June 3, 2011 ; proceedings