Challenges of Software Verification - Intelligent Systems Reference Library - - Kirjat - Springer Verlag, Singapore - 9789811996030 - perjantai 26. heinäkuuta 2024
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition

Vastaanota sähköposti kun titteli on saatavilla
Onko sinulla profiili? Kirjaudu sisään

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 26. heinäkuuta 2024
ISBN13 9789811996030
Tuottaja Springer Verlag, Singapore
Sivujen määrä 264
Mitta 150 × 220 × 10 mm   ·   429 g
Toimittaja Arceri, Vincenzo
Toimittaja Cortesi, Agostino
Toimittaja Ferrara, Pietro
Toimittaja Olliaro, Martina

Lisää samalta julkaisijalta