Conte aos seus amigos sobre este item:
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 2 de julho de 2026 |
| ISBN13 | 9783032273390 |
| Editoras | Springer Nature Switzerland AG |
| Páginas | 101 |
| Dimensões | 156 × 233 × 10 mm · 212 g |
| Idioma | Alemão |
| Editor | Kosaian, Katherine |
| Editor | Pit-Claudel, Clement |