Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Editat de Kousha Etessami et al.
24 iun 2005
Paperback
Preț: 640.92 lei 801.15 lei
43-57 zile
-20%
Cărți de Kousha Etessami