Portada

Compositional Verification of Concurrent and Real-Time Systems

SPRINGER
10 / 2012
9781461353492
Inglés
The Springer International Series in Engineering and Computer Science
Ingles
PVP
103,99