adicionar à lista de desejos
Software Verification
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 Nature Switzerland AG, fevereiro de 2022 ‧
ver detalhes do produto
67,58€
10% DESCONTO
CARTÃO
YkRKR1UxSjRSVVZuV0ROTmREQnFabkVyYTBOUlVXSk1hVFpHTDBreFYybzNiekZHTlhabE9YWXZOakZFV21oblFqbDBkM2h6Y2k5SFJYTjVVeklyZERoWWRISlpMMEpWVkRCdFJuWm5OVXhoU0ZWUmEyNXVibE5KVm5oc1lrSkdTVkJ2VGtOVldtYzVaVkEyWkZWSksyMXZiRVpPV25oaE5sRnpWVFEwV21ORFVWbEhiVzE1ZGxRMU0wTjBaQzhyTm5BelRsZzRLMWhqTVRJM09GZGtlVkoxTUZWcWIwOU1UbGg2YlVOT2FHaGhhVFY1YmpWaU5HNUlUbXBQYURWTlJFOTFOMG93Y1ZCT1pGbFViM2hXV1hwT1FUZ3JLMDlJTWxZclJ6bDNWblZXUW5SSGVURlNUa3R0YjJSaU9XdExjamxQVFhsd2FEaENlazF4T1hwTlRrc3hkR0o2VEZkRWJYUnphQzlNT0dvdk5IZzNLMXBMWVc0dlUwUTRNelZUWlZFMFIxUmtUbkF6VkVRNVVFTjBSVEYzVGpSUFJFOW1PRXA0ZFdZck1qTXlaeTlKVjJNM1JEZFJSR2d3T1RGb1N6WnFiV2xpZWpWd1ZGRkdiR0pYTDFjNFRYZ3Zha3R0Y2tzclZIZGxhV2cwVVdSaVQxVk9UVnBLUWpGb1YxTkNkVE5wYXpWaFR6ZEJlVlpPVGs1UGIxaFliekpVUW1GRWNqVmxZMHRCWm5ONk9IbG5VMlZMYkZNNE9IZHRiRkpYUzBGSVRFeHBVMlJHTkZKamRGTkRibGMwVVVWMVJHdDZRbE55TTBkSGRFOHlhWFpaVUdsT1pWTlhaalppWW1KYWVFZDZOVVo1ZG5KR1dXaFlObEZPZG0xTmJVaFBWRTExYm5vdmJTdFRZbVpFUWxSRlFtRnFSVVJFV0ZkYVJ6SjZNV1ZFUW5ONVV5dGxOMWMzTVRoMWFtbE1aVFJ2U0ZBeVppOXVieTk1ZVRaQlpsSmhMMEU0VVVKRmMwZ3JWbUpZUkhKMmFqRnlPRTVMYUhaT1VrdHpLekpxTTBnMlprSTVjV05rYTFjeVJVcDJaVkJLZEUxbFprSndRbGhsYTB0dGFUQkZaM0lyWkcxR1IxWkljR1U0VVdRME56TlRWRWNyVTA1NVFqWTVVVlJ6T1hwME5UaHlPRmxUWVVKTldXcFBNREJVVUVReVJFRkZOMHhVV214T1lUVk9kMjk0WWtabWMycGFUVVJZT0hkWU9VRlhUWGg2YVdGVVdXRkdWM2h2VTJkM1l6QnlWV1JyV2pKcWRtaFBiVzR5VUVOVllteE9XalJGWjB4cmNWVTBNSGh4WlV4Q1ZpczFhUzlWV21ZMlMxaGhkeTlUVTBOTFQwVnBabGhsU2pSUVJFMTJUM0o1UzNSaWJFeHVlRTQ0THpOT1JHbEJkR0UyUW1wcVExbFZhMDU0YzJKdE16TlZZVmhXUmtGYVZ3PT06Umk1ZUJxM3VuMnB5YTB1WXNnRUg2dz09
portes grátis
Venda o seu livro
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: | 9783030955601 |
| Editor: | Springer Nature Switzerland AG |
| Data de Lançamento: | fevereiro de 2022 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 197 |
| Tipo de produto: | Livro |
| Coleção: | Lecture Notes In Computer Science |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Hardware
Livros em Inglês > Outros |
| EAN: | 9783030955601 |
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