Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 201

book

発売日

: 2010年

著者／編集

: Tayssir Touili/Byron Cook/Paul Jackson

出版社

: SPRINGER NATURE

価格

: 30,008

ISBN

: 9783642142949