Ait-Ameur, Yamine (Hrsg.)
Nakajima, Shin (Hrsg.)
Méry, Dominique (Hrsg.)
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
Beschreibung
Produktdetails
| ISBN/GTIN | 978-981-15-5054-6 |
|---|---|
| Seitenzahl | 346 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 8041 Kbytes |