Foundations of program verification, the
Auteur :
Sieber, Kurt
Éditeur :
Vieweg+teubner Verlag
ISBN :
9783519121015
Date de publication :
1 févr. 1987
Format :
Sewn
Langue :
Anglais
Pays d'origine :
USA