• Libros
  • Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems
Manna, Zohar
Anglais
EAN
9780387944593
Éditorial
Année d'édition
1995
langage
Anglais
Collection
SIN COLECCION
Haute
254
Largeur
178
Otros lectores lo han calificado con
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres