• Libros
  • Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems
Manna, Zohar
Anglès
EAN
9780387944593
Editorial
Any d'edició
1995
Idioma
Anglès
Col·lecció
SIN COLECCION
Alt
254
Ample
178
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres