Foundations of Software Science and Computation Structures Christof Löding
Titel: Foundations of Software Science and Computation Structures, Untertitel: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Einband: Taschenbuch, Autor: Christof Löding, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 564, Maße: 235x155x31 mm, Gewicht: 844 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Programmieren / Allgemeines Logic Programming Polymorphism Semantics Transducers automata theory coalgebra formal languages hybrid models implicit complexity lambda calculus modal logics model checking parameterized distributed systems petri nets proof theory recursion rewrite systems temporal logics timed models type theory.
Jetzt bei Ebay:
