Reversible Computation Ivan Lanese
53,49 €
Titel: Reversible Computation, Untertitel: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Einband: Taschenbuch, Autor: Ivan Lanese, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 356, Maße: 235x155x20 mm, Gewicht: 540 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Algorithm analysis and problem complexity Logic Design Programming languages Quantum Circuits Reversible Computing Software Engineering algorithms automata theory circuit complexity formal logic formal methods model checking operational semantics process calculi quantum computing reversible models software validation software verification.
Jetzt bei Ebay:
