Verification of Reactive Systems
SCHNEIDER, KLAUS
Inglés
EAN
9783540002963
Editorial
Año de edición
2003
Idioma
Inglés
Colección
Texts in Theoretical Computer Science. An EATCS Series
Alto
235
Ancho
155
Otros lectores lo han calificado con
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres