Computer Aided Verification

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Computer Aided Verification sono 9783319415284, 331941528X e gli ISBN per la versione cartacea sono 9783319415277, 3319415271. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Computer Aided Verification sono 9783319415284, 331941528X e gli ISBN per la versione cartacea sono 9783319415277, 3319415271. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.