Semantik und Programmverifikation
WALTHER, CHRISTOPH
EAN
9783519003366
Ano de edición
2001
Colección
Teubner Texte zur Informatik
Alto
244
Ancho
170
Otros lectores lo han calificado con
Déixanos a túa opinión
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres