Matemática

Concise Guide To Software Verification

From Model Checking To Annotation Checking

de Anton Wijs e Marieke Huisman 

Bertrand.pt - Concise Guide To Software Verification
idioma: Inglês
Editor: Springer International Publishing AG
Edição: julho de 2024
74,34€
Notifiquem-me quando disponível
RESERVAR NA LIVRARIA Livrarias

Da mesma coleção

ver +
Programming Language Design And Implementation
20%
portes grátis
20% Cartão Leitor Bertrand
87,86€
Poupe 17,57€
Springer International Publishing AG
Programming Language Design And Implementation
20%
portes grátis
20% Cartão Leitor Bertrand
74,34€
Poupe 14,87€
Springer International Publishing AG
Concise Guide To Software Verification
From Model Checking To Annotation Checking
de Anton Wijs e Marieke Huisman 
ISBN:
9783031301698
Ano de edição:
07-2024
Editor:
Springer International Publishing AG
Idioma:
Inglês
Dimensões:
155 x 235 x 20 mm
Encadernação:
Capa mole
Páginas:
248
Tipo de Produto:
Livro
Coleção:
Texts In Computer Science
Classificação Temática:
Livros  >  Livros em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9783031301698

Dos mesmos autores

Concise Guide To Software Verification
20%
portes grátis
20% Cartão Leitor Bertrand
101,38€
Poupe 20,28€
Springer International Publishing AG
Concise Guide To Software Verification
20%
portes grátis
20% Cartão Leitor Bertrand
101,38€
Poupe 20,28€
Springer International Publishing AG
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.