adicionar à lista de desejos
Rigorous Software Development
An Introduction To Program Verification
idioma: inglês
Editor:
SPRINGER LONDON LTD, maio de 2026 ‧
ver detalhes do produto
66,91€
10% DESCONTO
IMEDIATO
VFZaTGNsQXJSM2wySzNoRU1GUkhPVzVwZFdSNmJFaG1ORkJ5UlhKQlUwa3JUVE5EUjJGcVREQkpOMngyZW0xMWFFNUpjbGRJU1RBMVQzQkZlVkJ5Tm05S1JEQkJSWEZvYTFWa0x6ZE5WR05oUmtWYWJFNDBXRE13VVdnMFNWVkZhVU5WVVdJMWRXd3pUVWhHVlRJMmMwUkxWbmx3YmpscGNHdG5SSEp1Vkc5VGRtbDJjM2xUWTFoRWVsaHpOa0ZWYjBnM1dYRm9VMlJKYWtGMVVISXlSVnB1Y2tOVFVHazBWMGxEWjJsemRXMHlUR1l3ZWpKNFVpOW9lVUpMUVZoRlVsUkxNRGhRUVVaSmRXVmpVRWhPYzFwNVlsbFViWFU1T0hodVdFbEZSVWQ1ZFZvM2FqbDJTbUk0TlRVd1pHZDViRUpsWlRodVZtaDZOa3hyT1hrMWJEaDJVME01YlhsT1duaEtNbWQ0VTNCTlZXNHlNRGt2Y1VwYWNYZHNPRVExU1RRNFRHRmpiMjVtYjA1NlFsbGlabVJuZW1ZNU5WbDROREZNYTA1TFRYbDBRbGx4U1d3d1JrVXJiRFJZU2xWWFpWbzRVQ3RrZVhSaWVUSm9WMVJOTjBGbEt5dFdNMjFWVkM5U09GaE9abEIzUzNwSkwxbzVXRWxsU2xwc1FrMXdVRVpHUVRkNE9FUkdlRkFyWVVSME1GVnFjMWxqWVc1d1RUZDVjR1JTVHk5NWFFVmhObEpCVFRsbFdITjNhbUZsUzJOMWRuQXpaWEYwZG1ONmRqVlBRM1ZMU0dKWlZHdGhaMjV2YkV0UlUwdE9aVlZxVUU0MGFIUkhiMnRpVldGTVIxUjJNV3RNWVVRelNtNWFXblV6VlVkYVVWWjBiWFJwVkZZMVJqSXhaMlV4U0UxQ05VMWhiRFZrTURnd05tZ3JiekE1UzNCamMyNUZXVTg1VERkSFRrOU9ZMmxDTUVkSFFtdHhkRWc1UzJWUFoxbFFhSFZDTTIxcVV6TllPVnBOUTJWNk5tOU5hMHN4WlhWcGRIVkNLM1ZTWXl0dmFFbExkMnRLV2tGNlIzQk1kV0UxYVZGTVFrUTFOeTlvUTJkVGNHWkxNRlIyY0VodGRYVk5SVUZEWlVReFkzY3ljVkJWTUVwNFFucFdWa3AxVjJoWlQzYzlQUT09OjJiMWpWWjIwcXp6QjYvR2VseEEycHc9PQ==
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: | maio de 2026 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 291 |
| 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
-
Pré-lançamento10%Human-Centred Scientific Data VisualisationSpringer Nature Switzerland AG60,82€
67,58€portes grátis -
eBook10%Introduction To Cryptographic DefinitionsSpringer Nature Switzerland65,57€
72,86€