adicionar à lista de desejos
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 ‧
ver detalhes do produto
42,57€
10% DESCONTO
IMEDIATO
WlhkV1dtazRURlZCUW0xMWVDOW9URlpFTjNwcGEwNHJMMWRoVEVkNk5sSkpVVWhUV0hGeGNsVTVhVEJwVW1STWRVRlZkSEEyV2xsVWJrWTRMMHhPVkdsQ2RWZERPWFpyUlVwaVowaFBZbEJHVERGWVZHWnJlamRJZFhGbk5XWldLMnR1UkVjM1VWcDFkak5YSzBsbWFHdG1iRmxOTXpCcVRWbGxSVGxVVGtwM1lXcFNOblF4Ym1ZeFVHbHdiakIzWTJsTE5IaDJaa3B3YVdWUk5VMXNUMUpWWnpZMVNIUjVTemxoTm1Ob1NWaFdkV0psYmpWaWJrVktTWGR3WTJ4eFNWUllUbWxvVjFKaVptcFJURGRqU25KWWRrWlNXVU5SUVZGTlFqTjNjVkJHWlRkdVlWTnZWVUozTjBacGQzazNla040Vm1GSFZGWXdlbXBrVjBaSFRuZElXRlkwYWpoNmNpOVRLMXAwVWtsTVlsazJTRGRQUWxSNGJrdzBTekJhVjB0SllUaFVNMWhLYUROUFFqY3JaMjVCVkdaUlJtNHljR1Z0YVhCVGNUVjVPVUpRWVZCMFl6ZExNM2RzTjNCbFppOHlkRTQ0YkdaTVVXNXhaRll3TDI1elQyMXljR0p0ZDNsaU1URk1VaXR0TmtWMEx6WlNTRFE1VlZsdWJuSkNOQzlETm01RVMzbGhkamh2WkdoeUx6QTJkeXRuYkV0MmQwY3dVWFpqY0hSd1ZuVllRMlpFTDBwalFXUmxVVzgwWkVkV2NqRXZlRFU0TVhscmMybFFXRFE0YW5WUmExQmtZVk5MTlVKNlZVZDRNWFpWVjJaaFdUa3dWRzl0UW5NMmRUbFRjVzVuZFRscFVFWlFjMU4xTkdKUFIxZHBLMk12UzBGNlNtZzBiV0l3TXpaaE1HWnNWazUxTTBzNGNWcFhXVkJYWlRWak0xZzRaRkE1VGxCbFJGcElObTR6WVRCRVR6WkNNRUpGVjJ3d1ppOWpPR3BQYVVSMWRHVldiU3RGZFdSalRtcG5lWEJvYlVveVUzVk9jRzFIUmxsVlVGcGhUSFF2Vm1WcE5GYzVjbGs0YTB3NFdtNTFkak5KTjBOeFdVMTVTWFpxWTFaak1rYzVaV0psZEU5bmRIZ3JXREZpV1RKcE5EUXZWMnh0Y1VsM1VuYzlQUT09OkU0d2NscjRtTTVidFZUZkxMbklRamc9PQ==
portes grátis
Venda o seu livro
SINOPSE
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);
DETALHES
| 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 |
LIVROS DA MESMA COLEÇÃO
-
10%Security And Cryptography For NetworksSpringer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
10%VolcanologySpringer International Publishing AG170,33€
189,25€portes grátis