• Libros
  • Compositional Verification of Concurrent and Real-Time Systems
Compositional Verification of Concurrent and Real-Time Systems
Tsai, Jeffrey J.P.
Inglés
EAN
9781461353492
Editorial
Ano de edición
2012
Idioma
Inglés
Colección
The Springer International Series in Engineering and Computer Science
Alto
235
Ancho
155
Otros lectores lo han calificado con
Déixanos a túa opinión
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres