adicionar à lista de desejos
Rigorous Software Development
An Introduction To Program Verification
idioma: inglês
Editor:
SPRINGER LONDON LTD, julho de 2026 ‧
ver detalhes do produto
94,63€
30% DESCONTO
IMEDIATO
TWtGT1NucHRLMFpSUlZWSWVYVnZjM1pVUkVkS1VWaFJTMkl2UmtjNGRVbFdNVlU0T1hkNVlYUktkRkprUmxacVFUTlpaVmw0WVZSVmNsbElRa2hTV21OR2FHdzBVRUZEY2xKQ0sxVjROV1oxT0hOak1YQjFUbWx1T1dwMmNHeHJiR1JqTldwRk0xSllXbFJJWm1jek0weFJlbGRQUldOaGJsZ3JiQ3ROYmtGcEwzQXhWMGs0Tnl0UGNHdEZkSE5aWVRCRldHTTNZMk5WVUROQlMyOHJhbll5S3l0eGNFeHdOVzQ0UlRFNFZGSlRSM2hTTTI1YWFTdGpRbXhwWTNkR1NscEJTbFpOU0dVdk5qVlVTV1ZDT1dkMldYbFVjSFJhWkRocFkyRlFTV1p4ZVc4NWNGZFBha2QxVjJ3NE4zVlhiMEZOV2tScVptZGFaSEZhYjJ0aVdVVm1jbFE0VFUxUlExZ3pXbEozVW1FMFpsaFJiR0ZZZEcwMlZIQnNSMU5KVWtReFJrNU9OMmt4ZFZONVNYRkRXWEZYUW5OcVdqTndUMGh0UkhkYWVtZzBXQzloVW1OM2RYaGpaelI0YVRsWlZ6RTRhV1JHYWpOMFpXbHZVSFJ6UVdWWGVVbzVZVmw1YUVodVZucFNRMjV2ZFdZMlZsQlBSbHBxV2tvdlVIUkJjSFJ5ZW1FeVJrdHFRVGRuTmtnek1raG1RemhRUzNKVVVHOUtibWxyWTFjMFkzSnBURUpoUlU0d1J6ZEhURlJSSzJkUE9FbzFOa0p2VTNkTk5qQlJWUzhyZDA1T2F6RmlhRXhhWTNCUlNGQnFjMWhoTjBSeEwwMTNNemRqY21ZNVJYUkZZamxDY2tSUVVXSXpTWGxqU2xaQlJGUjJOVTlwZDAwd1YyMXhZakZUYUV4QksxVTJMM1J0YkU5UVZrSktNRXMyVkhVNGRqZFVPSEJKVUN0alVsRlVOa1ZrTTB0cldscERibU5NVmpscVpVcEhSWFZwVXpaUVZUaG5XV0pyTkV0S2IybHhlbmxsU1VSQkwzQnRibGh5TUVSdmRrRnZUM1kzTkUxWFVFdFVSVFprZVhodGVEQm5VMHgwT0hoaFluWm9jMGxpVVV4aGN5OXVUMDgzVFE9PTpiM0pPalk1U1pDRHUxQkdvNHI5K3dBPT0=
portes grátis
Venda o seu livro
SINOPSE
This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781447175575 |
| Editor: | SPRINGER LONDON LTD |
| Data de Lançamento: | julho de 2026 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 290 |
| Tipo de produto: | Livro |
| Coleção: | Undergraduate Topics In Computer Science |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
|
| EAN: | 9781447175575 |
LIVROS DA MESMA COLEÇÃO
-
Human-Centred Scientific Data VisualisationPré-lançamento30%Springer Nature Switzerland AG47,31€
67,58€portes grátis -
Introduction To Cryptographic DefinitionseBook10%Springer Nature Switzerland65,57€
72,86€