Reversible Computation, 2015 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings Programming and Software Engineering Series
Coordonnateurs : Krivine Jean, Stefani Jean-Bernard
Date de parution : 07-2015
Ouvrage de 291 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 50,64 €
Ajouter au panierThèmes de Reversible Computation :
Mots-clés :
algorithms; circuit complexity; circuit optimization; dynamic programming; formal methods; graph rewriting; hardware description languages; operational semantics; probabilistic computation; quantum circuits; quantum computing; quantum logic; reversible circuits; reversible computing; reversible logic; reversible models of computation; reversible programming languages; stochastic processes; term rewriting; verification