10% de desconto

Formal Methods

27th International Symposium, Fm 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I

idioma: inglês
Editor: Springer Nature Switzerland AG, maio de 2026 ‧
47,30€
42,57€
10% DESCONTO IMEDIATO
portes grátis
Venda o seu livro
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);

Formal Methods

27th International Symposium, Fm 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I

Propriedade Descrição
ISBN: 9783032262035
Editor: Springer Nature Switzerland AG
Data de Lançamento: maio de 2026
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa mole
Páginas: 664
Tipo de produto: Livro
Coleção: Lecture Notes In Computer Science
Classificação Temática: Livros em Inglês > Informática > Hardware
EAN: 9783032262035