Semantik und Programmverifikation
WALTHER, CHRISTOPH
EAN
9783519003366
Ano de edição
2001
Coleção
Teubner Texte zur Informatik
Alto
244
Largura
170
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres