Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer Verlag, Singapore
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9789811550560
- Se flere detaljer ▼
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Verlag, Singapore |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2021 ed. |
| Udgivelsesdato | 29-07-2021 |
| Første udgivelsesår | 2021 |
| Illustrationer | 29 Illustrations, color; 109 Illustrations, black and white |
| Fagredaktør | Yamine Ait-Ameur, Shin Nakajima, Dominique Mery |
| Originalsprog | Singapore |
| Sideantal | 346 |
| Indbinding | Paperback / softback |
| Forlag | Springer Verlag, Singapore |
| Sideoplysninger | 346 pages, 29 Illustrations, color; 109 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9789811550560 |