adicionar à lista de desejos
Software Verification eBook
13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, And 14th International Workshop, Nsv 2021, Los Angeles, Ca, Usa,
Livro
eBook
idioma: inglês
Editor:
Springer International Publishing, fevereiro de 2022 ‧
ver detalhes do produto
66,24€
10% DESCONTO
CARTÃO
WmtkQ1Zub3dhMlZ2WlZoU1pqZERlRVp3TWxaU2EzTldLM0ZtZDFCamFFaDRZa05XT1V3eFkzZEVZazF2Y3k5SVkzRklXVEJGWTBGVVozVjVaVXBwYURjeWVGWlFNRzlVUlVKT1dUUmhjMHRLY0ZsaFdGZGhXbnB0UTB4UWJWWlBkM1ZUT0hrM1YweGhVM2RHWVdNd1kwMXFVWFZ6WjJsVWNGaFFlR2hOSzBvNWNUSlRhemt2TkdsUldVdFpZalF6Vml0S1ZqSlhLMmM1Wm14dU1qRnphRnBOYUdaSVNIUmtNMkZOZW5kcU1VUkZZMUZ4Wm1kWmNEVkJiMHhsYW0wd1RFWkRUVlZDTWs5bmJUQTRSSEozYkV4cGVIZ3ZTekpEZFdwV0szSTJjM0ZhTjFGSWVFNXZOalZHYjA5VVUwWnRLMGxFWTBkcVZtY3dNbmxrVEhoRE1WWnZaVmxtU3pCa1NIYzROR05pVVVGRU1WZEJRa3BYYmk5UFdsTTFPVE5xZEVsTVpqZENkMjgyU1RkbVEyeFpWV1pzZVdKbmRqVmhUV3hyVUhGSFYyWmpabnBxTUd0SWFFODJhbFpVWlZOU1kxZGtVRGMwUnk5S1YzRjVWelZGY0hvNVQwSmlTWEZFY1VJNVFsTTFVMDFoUkVSc2FVbFNXRTh5UmpSWmFXeHJaREJtWTJSSU56QjVNRWMyUVVwcU9XMU5NbHBEWVhGNU9HdEhRbnBFUWl0RFJqQnNOR2xaWVZZd1NHWkJaV00zTkZGWFZWcERPRmc1ZWtsVFZGTlZWWEJyU1ZwRWNuZFdPVk5YUkdkWk5sY3dlaTg1WTJSWWFUZDRibVJZZFM5RGNGZFRVbmRVY2taVVRqSk5Za2d3YW1aeU5Fb3pNM3BCWjA5NVJGZ3dPR3B4Vm1STVUycFFWVkEwTTJoMVFubHJURGhJWTNRM2ExWjNLM3BGWTJoV2RERlFLMWRQT1RWNk5FSXpZM0p2Wm1OTGNtTTBNR3ROT0ZGSGMyRlRXV2x5WlV4T0wyRjFUWFZEVEVKc1JrWkJaMGx3SzBwQ09GbG9VamRuTjJoTmNpdE1UR3d6V2xCcVQyMUplaTlhWmk5SldFWlFhM2huU2xneVVTOURhVlo1T0ZCNmF6TlJiRGN3TDNoTk1HdFdjMDh6VEcwcmRDOWxkbmhLWTBkSk5FeHBTbll6WTIxekswMUhhM2RYV25CTGFVcGtUamN2Wm05dlp5dHZiRkJLVm5KSlpuaFNjVFZHZEZscVEzVk5ka2szU0hRMFNYQjNkRUV4TWtKSE5Ga3llVFJqZVRsTGJqbDRUR2cwUFE9PTptekQxbjc5ODgvZ1Q4N1hWeStFMGJBPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783030955618 |
| Editor: | Springer International Publishing |
| Data de Lançamento: | fevereiro de 2022 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Coleção: | Lecture Notes In Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Hardware
|
| EAN: | 9783030955618 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
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