Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Автор:
Daniel Kroening, Corina S. Pasareanu
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.72
€
103.11 лв
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int...
