語系
ICTAC (Summer School) ((2021 :)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for an informal world = ICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures /
by:
ICTAC (Summer School) ((2021 :); Cerone, Antonio.; SpringerLink (Online service)
(書目-電子資源)