Challenges of Software Verification - Intelligent Systems Reference Library - Vincenzo Arceri - Livros - Springer Verlag, Singapore - 9789811996009 - 25 de julho de 2023
Caso a capa e o título não sejam correspondentes, considere o título como correto

Vincenzo Arceri
Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition

Preço
€ 153,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 4 - 12 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Vincenzo Arceri

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

Ainda não avaliado

Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 25 de julho de 2023
ISBN13 9789811996009
Editoras Springer Verlag, Singapore
Páginas 264
Dimensões 241 × 163 × 22 mm   ·   572 g
Idioma Inglês  
Editor Arceri, Vincenzo
Editor Cortesi, Agostino
Editor Ferrara, Pietro
Editor Olliaro, Martina

Mais da mesma editora

Ver tudo de Vincenzo Arceri