Reasoning about program transformations: imperative programming and flow of data
Auteur :
Collard, Jean-Francois
Éditeur :
Collard, Jean-Francois
ISBN :
9781441929815
Date de publication :
3 déc. 2010
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
403 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA