Portada

Compositional Verification of Concurrent and Real-Time Systems

SPRINGER
10 / 2012
9781461353492
978-14-6135-349-2
Inglés
The Springer International Series in Engineering and Computer Science
Ingles