Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings - - Grāmatas - Springer Verlag, Singapore - 9789811550539 - 2020. gada 28. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings 2021 edition

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

346 pages, 29 Illustrations, color; 109 Illustrations, black and white; XII, 346 p. 138 illus., 29 i

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2020. gada 28. jūlijs
ISBN13 9789811550539
Izdevēji Springer Verlag, Singapore
Lapas 346
Izmēri 150 × 220 × 20 mm   ·   680 g
Redaktors Ait-Ameur, Yamine
Redaktors Mery, Dominique
Redaktors Nakajima, Shin

Vairāk no tā paša izdevēja