• Libros
  • Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems
Manna, Zohar
Inglês
EAN
9780387944593
Editorial
Ano de edição
1995
Idioma
Inglês
Coleção
SIN COLECCION
Alto
254
Largura
178
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres