Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium

book

発売日

: 2010年

著者／編集

: Tiziana Margaria/Bernhard Steffen

出版社

: SPRINGER NATURE

価格

: 14,995

ISBN

: 9783642165603