Verifying temporal properties of systems
Auteur :
Bradfield, J C
Éditeur :
Bradfield, J C
ISBN :
9781468468212
Date de publication :
25 févr. 2012
Dimensions :
23,4 x 15,6 x 0,7 cm
Poids :
186 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA