Semantik und Programmverifikation
WALTHER, CHRISTOPH
EAN
9783519003366
Año de edición
2001
Colección
Teubner Texte zur Informatik
Alto
244
Ancho
170
Otros lectores lo han calificado con
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres