Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers - Lecture Notes in Computer Science - - Grāmatas - Springer Nature Switzerland AG - 9783030955601 - 2022. gada 22. februāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2022 edition

Cena
€ 58,49

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

Paredzamā piegāde . gada 26. nov. - . gada 4. dec.
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 refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.

197 pages, 42 Illustrations, color; 25 Illustrations, black and white; XIV, 197 p. 67 illus., 42 ill

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2022. gada 22. februāris
ISBN13 9783030955601
Izdevēji Springer Nature Switzerland AG
Lapas 197
Izmēri 150 × 220 × 10 mm   ·   332 g
Valoda Vācu  
Redaktors Bloem, Roderick
Redaktors Dimitrova, Rayna
Redaktors Fan, Chuchu
Redaktors Sharygina, Natasha

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