Verification of Reactive Systems
SCHNEIDER, KLAUS
Anglais
EAN
9783540002963
Éditorial
Année d'édition
2003
langage
Anglais
Collection
Texts in Theoretical Computer Science. An EATCS Series
Haute
235
Largeur
155
Otros lectores lo han calificado con
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres