Challenges of Software Verification - Intelligent Systems Reference Library -  - Knihy - Springer Verlag, Singapore - 9789811996030 - 26. júla 2024
V prípade, že obal a názov nesedia, platí názov

Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition

Cena
€ 159,99

Objednané zo vzdialeného skladu

Očakávané doručenie 10. - 20. júl
Pridať do vášho zoznamu prianí na 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.

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 26. júla 2024
ISBN13 9789811996030
Vydavatelia Springer Verlag, Singapore
Strany 264
Rozmery 150 × 220 × 10 mm   ·   429 g
Editor Arceri, Vincenzo
Editor Cortesi, Agostino
Editor Ferrara, Pietro
Editor Olliaro, Martina

Mere med samme udgiver