Conte aos seus amigos sobre este item:
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings 2021 edition
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
346 pages, 29 Illustrations, color; 109 Illustrations, black and white; XII, 346 p. 138 illus., 29 i
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 29 de julho de 2021 |
| ISBN13 | 9789811550560 |
| Editoras | Springer Verlag, Singapore |
| Páginas | 346 |
| Dimensões | 150 × 220 × 10 mm · 503 g |
| Editor | Ait-Ameur, Yamine |
| Editor | Mery, Dominique |
| Editor | Nakajima, Shin |