Deductive Software Verification – The KeY Book: From Theory to Practice - Lecture Notes in Computer Science - - Livros - Springer International Publishing AG - 9783319498119 - 21 de dezembro de 2016
Caso a capa e o título não sejam correspondentes, considere o título como correto

Deductive Software Verification – The KeY Book: From Theory to Practice - Lecture Notes in Computer Science 1st ed. 2016 edition

Preço
€ 116,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 22 - 30 de jun

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.

702 pages, 110 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 21 de dezembro de 2016
ISBN13 9783319498119
Editoras Springer International Publishing AG
Páginas 702
Dimensões 155 × 235 × 37 mm   ·   1,01 kg
Idioma Francês  
Editor Ahrendt, Wolfgang
Editor Beckert, Bernhard
Editor Bubel, Richard
Editor Hahnle, Reiner
Editor Schmitt, Peter H.
Editor Ulbrich, Mattias

Mere med samme udgiver