Semantik und Programmverifikation
WALTHER, CHRISTOPH
EAN
9783519003366
Any d'edició
2001
Col·lecció
Teubner Texte zur Informatik
Alt
244
Ample
170
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres