Challenges of Software Verification - Intelligent Systems Reference Library - Vincenzo Arceri - Libros - Springer Verlag, Singapore - 9789811996009 - 25 de julio de 2023
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 155,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 1 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 25 de julio de 2023
ISBN13 9789811996009
Editores Springer Verlag, Singapore
Páginas 264
Dimensiones 241 × 163 × 22 mm   ·   572 g
Lengua Inglés  
Editor Arceri, Vincenzo
Editor Cortesi, Agostino
Editor Ferrara, Pietro
Editor Olliaro, Martina

Mere med samme udgiver

Ver todo de Vincenzo Arceri ( Ej. Hardcover Book )