Verified Software: Theories, Tools, Experiments: 4th International Conference, Vstte 2012, Philadelp

book

発売日

: 2012年

著者／編集

: Rajeev Joshi/Peter Mller/Andreas Podelski

出版社

: SPRINGER NATURE

価格

: 14,995

ISBN

: 9783642277047