Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings - Lecture Notes in Computer Science - - Grāmatas - Springer Nature Switzerland AG - 9783030945824 - 2022. gada 14. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings - Lecture Notes in Computer Science 1st ed. 2022 edition

Cena
€ 93,49

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

Paredzamā piegāde . gada 5. - 13. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim

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 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions.

520 pages, 80 Illustrations, color; 74 Illustrations, black and white; X, 520 p. 154 illus., 80 illu

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2022. gada 14. janvāris
ISBN13 9783030945824
Izdevēji Springer Nature Switzerland AG
Lapas 520
Izmēri 150 × 220 × 10 mm   ·   807 g
Valoda Vācu  
Redaktors Finkbeiner, Bernd
Redaktors Wies, Thomas

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