Guide To Software Verification With Frama-C

Core Components, Usages, And Applications

 

Bertrand.pt - Guide To Software Verification With Frama-C
idioma: Inglês
Editor: Springer International Publishing AG
Edição: julho de 2024
Formatos Disponíveis:
Portes
Grátis
20%
81,10€
Poupe 16,22€ (20%) Cartão Leitor Bertrand

Da mesma coleção

Simple Type Theory
10%
92,74€ 83,47€
Springer Nature Switzerland
eBook
Multi-Valued Logic For Decision-Making Under Uncertainty
10%
237,84€ 214,06€
Springer Nature Switzerland
eBook
Guide To Software Verification With Frama-C
Core Components, Usages, And Applications
ISBN:
9783031556074
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 dura
Páginas:
697
Tipo de Produto:
Livro
Classificação Temática:
EAN:
9783031556074
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.