Temporal logic of reactive and concurrent systems, the: specification
Auteur :
Manna, Zohar
Éditeur :
Manna, ZoharPnueli, Amir,
ISBN :
9781461269502
Date de publication :
17 oct. 2012
Dimensions :
23,4 x 15,6 x 2,2 cm
Poids :
676 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA