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 -  - Livros - Springer Nature Switzerland AG - 9783032273390 - 2 de julho de 2026
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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

Mais da mesma editora