Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday
아직 평점이 없습니다
Nov 22, 2021
·
영어
·
페이퍼백
(232 페이지)