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
Tm1OUlV6bG9VM1JTYkRRM1lUSm9ZMFZrTms5MVVXMTFWWGRoVG1aWlNFWkZZMjVuY2lzNVZTOUxVRXQzTDA1UVdXcENaRTVqVlZNNE9IVlVjbmsyUmtoWFlYUlNVMHhSVDJ3NGRtRlJSV04yVkdKclZIaE5aSE55VEhoWVkxUlZPRlIyTmxaUmVtTlBUVUZNV0VSeVUyazFkVEJNWlhSdE5tNDNaVmxYZVZnd05uZFVhblJ3VkV0M00wazRNbmRVVW5ScE1ERkZWbEJyY2xWUEwxSjNOWFpZWmt0eGJtOVlhMWRxYzI0MVJWSXZkVWswYUdwR01UTklUbGRsY0VRNFR6aG1aMjE0YUZaQ05IWlBaVzlGTlU1aVZsb3llRTAxV25wNk0zZ3hRa1oxY1RCSVMzQmxOM1pMTHpsUFVFMVRZakprV0ZWSWNsVlBlazlHTUZKbGFIVlRaMEl5UlZWeFQxWlNjRWsxUmtWeE9TODBjelZFVEZSa1EySkpOVVpIYkhORldIaDFWWFU0WjJsWGQxRnVTMFZKZFUxU2RHTTRPQ3RITUVrMWRuQk9WMkpHWjBzMlZEVTNWRVp3VFRoMlVVcFpObFUwYzBkQ2RXZG1jRUppUjJVeGNITkRSMlZ4UTI1VmJUWjBTbkpDZEhaWmNYaDNZbllyYTNwcU9YTnVXR1phYzB0RGJsWjJkelI0WW5sbGFrNUhlWGhXV2xRelQxZElXR1J1U2sxcVJYaENWRm81UnpRcmNXaE5VbkpSUWtoNWVFTnpjV2ROUmtob2QxUnJVMjUyY0hsamVEZG1hakF4WTNOQlNXWmpZVWt6UkdaUlp6aERRbEpFTldwRU1UTldVMGN2TW5jM1pHd3hTVmxMZW5ScVlVdEhPRTl3YlV4WVNqVmtjVzlRVkhoVGJHaG5VRTU2YW5wdGNtZHdXSGcyUmtWTGREVTJRelZ4YURjdlR6RmpkbTkwV2pOaFIzVllka0ppVlROM05tcFFObFZqUm1weVNuSm5OR2RQUmpsME9XaENOM2wwV1drck9TdHdjVVZPWm05Q1UybFRWV1ZLVVhCMmFVSkdXa05zUzJKUVJFRkNVSEYzZURGcFNqSllUM2RwZEdkNFJHZFJhSEZyZDJsUVF6QnZaalUzUW1WMmQwZFdUbTg0ZGxoRWFuZEpOR1p5VDNCQmRWRnFlWEZ2V1RCbFZXeFFURE5yVkN0a1JtZHBlakJUV20wMk1YQlRaa1pKUVVScllqZHZaUzhyUkcxMGFIWkdZblYwU1RkS2RXWXJNa3hTZVcwd1VVWlVORTVuZDFBMU5IVjVhSGxKUFE9PTpnUzlnUFBpTWd5R3BEMkdsZmJRVzRRPT0=
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 |
| Formato e Compatibilidade: | |
| 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
-
Security And Cryptography For Networks10%Springer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
imagem não disponívelWeb Information Systems Engineering €“ Wise 2025Web Information Systems Engineering €“ Wise 2025Pré-lançamento10%SPRINGER VERLAG, SINGAPORE103,41€
114,90€portes grátis