Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II - Lecture Notes in Computer Science -  - Grāmatas - Springer International Publishing AG - 9783031986789 - 2025. gada 22. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II - Lecture Notes in Computer Science

Cena
€ 43,99

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

Paredzamā piegāde . gada 20. - 28. 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 2025. gada 22. jūlijs
ISBN13 9783031986789
Izdevēji Springer International Publishing AG
Lapas 426
Izmēri 157 × 236 × 26 mm   ·   678 g
Valoda Vācu  
Redaktors Piskac, Ruzica
Redaktors Rakamaric, Zvonimir

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