Verification of Reactive Systems
SCHNEIDER, KLAUS
English
EAN
9783540002963
Editorial
Year of edition
2003
Idiom
English
Collection
Texts in Theoretical Computer Science. An EATCS Series
High
235
Width
155
Otros lectores lo han calificado con
Share your feedback
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres