Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers - Lecture Notes in Computer Science -  - Grāmatas - Springer Nature Switzerland AG - 9783032273390 - 2026. gada 2. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers - Lecture Notes in Computer Science

Cena
€ 53,99

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

Paredzamā piegāde . gada 7. - 15. 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 2026. gada 2. jūlijs
ISBN13 9783032273390
Izdevēji Springer Nature Switzerland AG
Lapas 101
Izmēri 156 × 233 × 10 mm   ·   212 g
Valoda Vācu  
Redaktors Kosaian, Katherine
Redaktors Pit-Claudel, Clement

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