Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings - Lecture Notes in Computer Science -  - Grāmatas - Springer Nature Switzerland AG - 9783030670665 - 2021. gada 12. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

Cena
€ 93,49

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

Paredzamā piegāde . gada 8. - 16. okt.
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.


604 pages, 108 Illustrations, color; 104 Illustrations, black and white; XV, 604 p. 212 illus., 108

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2021. gada 12. janvāris
ISBN13 9783030670665
Izdevēji Springer Nature Switzerland AG
Lapas 604
Izmēri 150 × 220 × 10 mm   ·   937 g
Valoda Vācu  
Redaktors Henglein, Fritz
Redaktors Shoham, Sharon
Redaktors Vizel, Yakir

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