Isbn: 9783642182747 - verification, model checking, and abstract interpretation: 12th international conference, vmcai 2011, austin, tx, usa, january 23-25, 2011 proceedings: 6538 (lecture notes in computer science, 6538) (3 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (3)

a

Intervalo de precios personalizado (EUR)

a