Deductive Software Verification The Key Book

Wolfgang Ahrendt

Deductive Software Verification The Key Book - 1
Estado : Novo
Vendido por
RiaEnglishBooks
4,6 4 476 vendas
País de expedição : Reino Unido

Comentários do vendedor

Livro novo; R�pido do Reino Unido; N�o ficar� desapontado - New book; Fast from the UK; Will not be disappointed

Colocar uma questão ao vendedor
Resumo
Deductive Software Verification The Key Book
Foundations. Specification and Verification. From Verification to Analysis. The KeY System in Action. Case Studies

161,41 €
Entrega pelo vendedor parceiro

Entrega Envio Contra Assinaturagratuito Entrega na morada indicada sem acompanhamento da entrega contra assinatura Entregue em 3 a 4 semanas

Deductive Software Verification The Key Book
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