QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages - Talia Ringer - Livros - now publishers Inc - 9781680835946 - 3 de setembro de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages

Talia Ringer

Preço
€ 65,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 22 - 29 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

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

QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.

194 pages

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 3 de setembro de 2019
ISBN13 9781680835946
Editoras now publishers Inc
Páginas 194
Dimensões 293 × 234 × 14 mm   ·   306 g

Ver tudo de Talia Ringer ( por exemplo Paperback Book )