Survey of verification techniques for parallel programs, a
Auteur :
Barringer, Howard
Éditeur :
Barringer, Howard
ISBN :
9783540152392
Date de publication :
1 mai 1985
Dimensions :
23,4 x 15,6 x 0,6 cm
Poids :
420 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne