Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por agencia financiadora "Ministerio de Ciencia Y Tecnología (MCYT). España"
Mostrando ítems 1-1 de 1
-
Capítulo de Libro
Formal Verification of Programs in Molecular Models with Random Access Memory
(Fénix Editorial, 2005)Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning ...