Portada

Automatic Verification of Sequential Infinite-State Processes

SPRINGER
12 / 1997
9783540639824
Inglés
Lecture Notes in Computer Science
Ingles
PVP
51,99