Challenges of Software Verification - Intelligent Systems Reference Library -  - Książki - Springer Verlag, Singapore - 9789811996030 - 26 lipca 2024
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition

Cena
zł 672,90

Zamówione z odległego magazynu

Przewidywana dostawa 16 - 24 lis
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 26 lipca 2024
ISBN13 9789811996030
Wydawcy Springer Verlag, Singapore
Strony 264
Wymiary 150 × 220 × 10 mm   ·   429 g
Redaktor Arceri, Vincenzo
Redaktor Cortesi, Agostino
Redaktor Ferrara, Pietro
Redaktor Olliaro, Martina

Więcej od tego samego wydawcy