Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
Ait-Ameur, Yamine (EDT)
Nakajima, Shin (EDT)
Méry, Dominique (EDT)
- 出版社：Springer Verlag, Singapore
- 出版年月：2021年 07月
- ISBN：9789811550560
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：346 p.
- DDC分類：005.1