Verification of Reactive Systems
SCHNEIDER, KLAUS
Inglés
EAN
9783540002963
Editorial
Ano 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éixanos a túa opinión
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres