Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday
まだ評価がありません
Nov 22, 2021
·
英語
·
ペーパーバック
(232 ページ)