Challenges of Software Verification - Intelligent Systems Reference Library - - Books - Springer Verlag, Singapore - 9789811996030 - July 26, 2024
In case cover and title do not match, the title is correct

Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition

Price
HK$ 1,326
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 15 - 19

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 26, 2024
ISBN13 9789811996030
Publishers Springer Verlag, Singapore
Pages 264
Dimensions 150 × 220 × 10 mm   ·   429 g
Editor Arceri, Vincenzo
Editor Cortesi, Agostino
Editor Ferrara, Pietro
Editor Olliaro, Martina

Mere med samme udgiver