Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II - Lecture Notes in Computer Science - - Livros - Springer Nature Switzerland AG - 9783032262196 - 5 de agosto de 2026
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II - Lecture Notes in Computer Science

Preço
R$ 242,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 6 de out

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. and Main Track (1)Part II: Main Track (2);

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 5 de agosto de 2026
ISBN13 9783032262196
Editoras Springer Nature Switzerland AG
Páginas 733
Dimensões 150 × 220 × 10 mm   ·   1,07 kg
Idioma Alemão  
Editor Sampaio, Augusto
Editor Stoelinga, Marielle

Mais da mesma editora