Relational and Algebraic Methods in Computer Science Wolfram Kahl
Titel: Relational and Algebraic Methods in Computer Science, Untertitel: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, Einband: Taschenbuch, Autor: Wolfram Kahl, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 408, Maße: 235x155x23 mm, Gewicht: 616 g, Verkäufer: buch-mimpf, Schlagworte: Informatik Algebraic language theory Combinatorial Optimization Relation algebra Software fault automata theory database design and models database theory discrete mathematics formal languages formal software verification kleene algebra logic and verification modal logics optimization algorithms regular expressions relational database model rough sets symbolic and algebraic manipulation temporal logics type checking.
Jetzt bei Ebay:
