Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 29 de julio de 2021 |
| ISBN13 | 9789811550560 |
| Editores | Springer Verlag, Singapore |
| Páginas | 346 |
| Dimensiones | 150 × 220 × 10 mm · 503 g |
| Editor | Ait-Ameur, Yamine |
| Editor | Mery, Dominique |
| Editor | Nakajima, Shin |