Povej prijatelju o tem izdelku:
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
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 28. julija 2020 |
| ISBN13 | 9789811550539 |
| Založniki | Springer Verlag, Singapore |
| Strani | 346 |
| Dimenzije | 150 × 220 × 20 mm · 680 g |
| Urednik | Ait-Ameur, Yamine |
| Urednik | Mery, Dominique |
| Urednik | Nakajima, Shin |
Božična darila lahko vrnete do 31. januarja