Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Автор:
Ahmed Bouajjani, Oded Maler
Наличност:
Външен склад
Изпращаме след 5-8 дни
105.19
€
205.74 лв
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide...