Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 201

book

発売日

: 2010年

著者/編集

: Howard Barringer/Ylies Falcone/Bernd Finkbeiner

出版社

: SPRINGER NATURE

価格

: 14,995

ISBN

: 9783642166112