Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Autor:
Swarat Chaudhuri, Azadeh Farzan
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat...
