Tests and Proofs: 18th International Conference, Tap 2024, Milan, Italy, September 9-10, 2024, Proce

book

発売日

: 2024年

著者／編集

: Marieke Huisman/Falk Howar

出版社

: SPRINGER NATURE

価格

: 38,192

ISBN

: 9783031720437