Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Autor:
Swarat Chaudhuri, Azadeh Farzan
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
50.14
€
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat...
