Challenges of Software Verification - Intelligent Systems Reference Library - Vincenzo Arceri - Books - Springer Verlag, Singapore - 9789811996009 - July 25, 2023
In case cover and title do not match, the title is correct

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

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Vincenzo Arceri releases

Our customers say:

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

Not rated yet

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     Hardcover Book   (Book with hard spine and cover)
Released July 25, 2023
ISBN13 9789811996009
Publishers Springer Verlag, Singapore
Pages 264
Dimensions 241 × 163 × 22 mm   ·   572 g
Language English  
Editor Arceri, Vincenzo
Editor Cortesi, Agostino
Editor Ferrara, Pietro
Editor Olliaro, Martina

More from the same publisher

See all of Vincenzo Arceri ( e.g. Hardcover Book )