Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings - - Grāmatas - Springer Verlag, Singapore - 9789811550560 - 2021. gada 29. 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     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2021. gada 29. jūlijs
ISBN13 9789811550560
Izdevēji Springer Verlag, Singapore
Lapas 346
Izmēri 150 × 220 × 10 mm   ·   503 g
Redaktors Ait-Ameur, Yamine
Redaktors Mery, Dominique
Redaktors Nakajima, Shin

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