Programação

Rigorous Software Development

An Introduction To Program Verification

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

Bertrand.pt - Rigorous Software Development
idioma: Inglês
Editor: SPRINGER LONDON LTD
Edição: julho de 2026
Portes
Grátis
20%
135,18€
Poupe 27,04€ (20%) Cartão Leitor Bertrand

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.

Da mesma coleção

ver +
Human-Centred Scientific Data Visualisation
20%
portes grátis
20% Cartão Leitor Bertrand
67,58€
Poupe 13,52€
Springer Nature Switzerland AG
Introduction To Cryptographic Definitions
10%
72,86€ 65,57€
Springer Nature Switzerland
eBook
Rigorous Software Development
An Introduction To Program Verification
de Jose Bacelar Almeida, Simao Melo De Sousa, Jorge Sousa Pinto e Maria João Frade 
ISBN:
9781447175575
Ano de edição:
07-2026
Editor:
SPRINGER LONDON LTD
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  >  Livros em Inglês  >  Informática  >  Programação

EAN:
9781447175575
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.