Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Автор:
Swarat Chaudhuri, Azadeh Farzan
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.83
€
103.32 лв
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat...
