中古あり ￥17,623より
(2025/11/08 00:53:19時点)
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)
詳しい情報
出版社: Springer(2019-10-16)
ペーパーバック: 264 ページ / 15.5 x 1.5 x 23.5 cm
ISBN-10: 3030324400 ISBN-13: 9783030324407