Relational and Kleene-Algebraic Methods in Computer Science
7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
R. Berghammer
Themen in »Relational and Kleene-Algebraic Methods in Computer Science«
Attribut Processing action algebra algorithms calculus database formal languages formal methods model checking proving relational methods relational reasoning relational semantics relational software design theorem proving
Stimmen zu »Relational and Kleene-Algebraic Methods in Computer Science«
Details
ISBN: 9783540221456
Verlag: Springer Berlin
Erscheinung: 01.06.2004