Semantik und Programmverifikation
WALTHER, CHRISTOPH
EAN
9783519003366
Année d'édition
2001
Collection
Teubner Texte zur Informatik
Haute
244
Largeur
170
Otros lectores lo han calificado con
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres