Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I - Lecture Notes in Computer Science -  - Grāmatas - Springer International Publishing AG - 9783031656262 - 2024. gada 26. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I - Lecture Notes in Computer Science 2024 edition

Cena
€ 43,99

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

Paredzamā piegāde . gada 2. - 12. okt.
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2024. gada 26. jūlijs
ISBN13 9783031656262
Izdevēji Springer International Publishing AG
Lapas 498
Izmēri 150 × 220 × 10 mm   ·   797 g
Valoda Vācu  
Redaktors Ganesh, Vijay
Redaktors Gurfinkel, Arie

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