Portada

Abstraction Refinement for Large Scale Model Checking

SPRINGER
12 / 2014
9781489993953
Inglés
Integrated Circuits and Systems
ESPAÑA
Ingles
PVP
116,63