Computer-Aided Reasoning
VV.AA.
Inglês
EAN
9780792378495
Editorial
Ano de edição
2000
Idioma
Inglês
Coleção
Advances in Formal Methods
Alto
235
Largura
155
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres