Portada

Compositional Verification of Concurrent and Real-Time Systems

SPRINGER
04 / 2002
9781402070259
Inglés
The Springer International Series in Engineering and Computer Science
Ingles
PVP
103,99