Relations and Kleene Algebra in Computer Science Renate Schmidt
Titel: Relations and Kleene Algebra in Computer Science, Untertitel: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings, Einband: Taschenbuch, Autor: Renate Schmidt, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 452, Maße: 235x155x25 mm, Gewicht: 680 g, Verkäufer: buch-mimpf, Schlagworte: Logik Philosophie / Logik Sprache / Formale Sprache Artificial Intelligence Cylindric Algebras Kleene algebras Mathematical Logics Refinement Relational Algebras Relational Proof Theory calculus complexity formal languages formal method formal methods logic relational representation verification.
Jetzt bei Ebay:
