Algebraic and Numeric Biology, 2012 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateurs : Horimoto Katsuhisa, Nakatsui Masahiko, Popov Nikolaj
Fast-track conference proceedings
State-of-the-art research
Up-to-date results
Date de parution : 02-2012
Ouvrage de 185 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierMots-clés :
DNA Computing; combined and refined model; model checking; software design; verification