Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, No

book

発売日

: 2011年

著者／編集

: Bernhard K. Aichernig/Frank S. De Boer/Marcello M. Bonsangue

出版社

: SPRINGER NATURE

価格

: 14,995

ISBN

: 9783642252709