Deductive Software Verification The Key Book
Wolfgang Ahrendt
Resumo
Deductive Software Verification The Key Book
Foundations. Specification and Verification. From Verification to Analysis. The KeY System in Action. Case Studies
Foundations. Specification and Verification. From Verification to Analysis. The KeY System in Action. Case Studies
Deductive Software Verification The Key Book
Resumo
Deductive Software Verification The Key Book
Foundations. Specification and Verification. From Verification to Analysis. The KeY System in Action. Case Studies
Publicidade
Avaliações dos nossos clientes
Deductive Software Verification The Key Book
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer
- Idiomas
-
Inglês
- Data de lançamento
-
21/12/2016
- Peso
-
1122
- Colecção
-
Software Engineering
- Série/Edição Limitada
-
1st ed. 2016
- EAN
-
9783319498119
Publicidade
Publicidade