adicionar à lista de desejos
imagem não disponível
Formal Methods
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
UVZoaE9VTmtXVmxqVTNOcE1FZG1SRFJ2YW5KaU55dFhSM0ZQZW5VMFZWcFJZVmg0YjJWcFFsVkZZM2ROUmxSNWFVRmhOVTlLWW1GV0wySXljV2gwZG1oSFowVlhTMFV4Wm10b1ZuWndaalJ2WVVGNlVtcHRiR1J3UW1WWmFGazNNekY0YkcxNlVrbG5iRnB0V1dzNE1XNWhSU3RSWVZobE1HTlJTbmcwTTJNM2RqYzRVMjkxYVZoM1dubEdiREUwVGtzeU56ZENhalI1WVZrNVpVZDZiV2N5UVhSTk0zcFBZMWxqUW5SR1VXTlpjbTl4ZUN0aFpURkpOVzVMYkdKSmNHRk5XRGRMZFZCVFRrOTVUME56TjI4MU4ycDBRakpMU1VSemJtZHBNVTVUVFRoSGFuTjBWWFEyUTJacGNHNUlNWEF2UTFRd2VWUktUR1kxSzBSUlVsSllSMjFsUVZOMFpHRlZWelJFWjJ0eU5UTmxhMVV5Y1ZWcldITk1XRXhaVTI5aVYxVkJlV3RNWmxnMWNuUlNNRVJIUTJkVFJrOU9UbVZTVDA5WFVFcG1TVmt6ZGxKSmNrNUZla2xIUjFBNVpTOXVNVGR3UjNkTVVVODNWazR2UkdsMFEyNDVja3BVVEVsdmJHWmlPSFJKWjJaQ0wxZDVZazkyWlV4Q1NtUlZUM2R0ZEdFMmRuWnNNa2xRVFZsMFlsTkdSVVZHVkRsck1ucEhiVEZvVEV0a2NXeDJWRWt6UW1GbWNTOXRkRE1yYjFWQ1prRnVVbFZEYXpaeGJ6UkVhelJRUXpSMGNIbFhhblpGZDB4WFNXSnViV3B0WlRkNVEzQkNTM2hKVmpnelFsVndlV05uVUU5MFpraGhMMkU0WlRWaWFUWmxVakUxTkhGRmRVdGxOMDVCVkdkNWNXOWhhMjlDTHpWcWRqWllNQ3RhYzNFM05VSnNaMkZLU1dkUlNra3JaWEJuZERGMUwwaGhTVWRHV0VRclNHSnNXV0phVnpOMlVXcFFWRU56WkhGNGFXZFpia1JUY1ZKSWVrZHFkbEE0V0c1eFFsUnFTa1puUVhScmRXWktTVXc0Y2tScFRrNWxMelJMTlRnNFRIWlRWbTF1TTJoRk1XdExjVzl0YlhscVUwdDBkazFLVjIxRVFWZzRVVzFUYkZkcWQyYzlQUT09OnEzY1QyQzJPM2pjUGtuekZPaHZ3R1E9PQ==
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
-
Security And Cryptography For Networks10%Springer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
imagem não disponívelCombinatorial Optimization And ApplicationsCombinatorial Optimization And ApplicationsPré-lançamento10%SPRINGER VERLAG, SINGAPORE103,41€
114,90€portes grátis