Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III - Lecture Notes in Computer Science -  - Grāmatas - Springer International Publishing AG - 9783031986819 - 2025. gada 23. 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 III - Lecture Notes in Computer Science

Cena
€ 43,99

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

Paredzamā piegāde . gada 22. - 30. 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 23. jūlijs
ISBN13 9783031986819
Izdevēji Springer International Publishing AG
Lapas 428
Izmēri 236 × 155 × 27 mm   ·   680 g
Valoda Vācu  
Redaktors Piskac, Ruzica
Redaktors Rakamaric, Zvonimir

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