30% de desconto

Rigorous Software Development

An Introduction To Program Verification

de Maria João Frade, Simao Melo De Sousa, Jorge Sousa Pinto e Jose Bacelar Almeida
idioma: inglês
Editor: SPRINGER LONDON LTD, julho de 2026 ‧
135,18€
94,63€
30% DESCONTO IMEDIATO
portes grátis
Venda o seu livro
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.

Rigorous Software Development

An Introduction To Program Verification

de Maria João Frade, Simao Melo De Sousa, Jorge Sousa Pinto e Jose Bacelar Almeida

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