Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I - Lecture Notes in Computer Science -  - Grāmatas - Springer International Publishing AG - 9783031131844 - 2022. gada 8. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2022 edition

Cena
€ 43,99

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

Paredzamā piegāde . gada 23. sept. - . gada 1. okt.
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

555 pages, 110 Illustrations, color; 288 Illustrations, black and white; XIX, 555 p. 398 illus., 110

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2022. gada 8. augusts
ISBN13 9783031131844
Izdevēji Springer International Publishing AG
Lapas 555
Izmēri 150 × 220 × 10 mm   ·   872 g
Valoda Vācu  
Redaktors Shoham, Sharon
Redaktors Vizel, Yakir

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