Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science - Ph. D. Beyer Damien Zufferey-Dirk - Grāmatas - Springer Nature Switzerland AG - 9783030393212 - 2020. gada 7. februāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Ph. D. Beyer Damien Zufferey-Dirk
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science 2020 edition

Cena
€ 83,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 6. - 16. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Ph. D. Beyer Damien Zufferey-Dirk izdevumiem

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

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.

471 pages, 63 Illustrations, color; 918 Illustrations, black and white; XIV, 471 p. 981 illus., 63 i

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2020. gada 7. februāris
ISBN13 9783030393212
Izdevēji Springer Nature Switzerland AG
Lapas 471
Izmēri 234 × 155 × 29 mm   ·   744 g
Valoda Vācu  
Redaktors Beyer, Dirk, Ph. D.
Redaktors Zufferey, Damien

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

Skatīt visus Ph. D. Beyer Damien Zufferey-Dirk