• Libros
  • Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
Wang, Chao
Inglês
EAN
9781489993953
Editorial
Ano de edição
2014
Idioma
Inglês
Coleção
Integrated Circuits and Systems
Alto
235
Largura
155
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres