Pastāsti draugiem par šo preci:
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
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
| 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 |