Relational and Kleene-Algebraic Methods in Computer Science R. Berghammer
Titel: Relational and Kleene-Algebraic Methods in Computer Science, Untertitel: 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, Einband: Taschenbuch, Autor: R. Berghammer, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 296, Maße: 235x155x17 mm, Gewicht: 452 g, Verkäufer: buch-mimpf, Schlagworte: Mathematik / Logik Sprache / Formale Sprache Attribut Database Processing Relational Methods Relational Semantics Relational Software Design action algebra algorithms calculus formal languages formal methods model checking proving relational reasoning theorem proving.
Jetzt bei Ebay:
