Challenges of Software Verification - Intelligent Systems Reference Library - Vincenzo Arceri - Grāmatas - Springer Verlag, Singapore - 9789811996009 - 2023. gada 25. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 162,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 6. - 14. aug.
Saņemiet paziņojumus par jauniem Vincenzo Arceri izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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.

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2023. gada 25. jūlijs
ISBN13 9789811996009
Izdevēji Springer Verlag, Singapore
Lapas 264
Izmēri 241 × 163 × 22 mm   ·   572 g
Valoda Angļu  
Redaktors Arceri, Vincenzo
Redaktors Cortesi, Agostino
Redaktors Ferrara, Pietro
Redaktors Olliaro, Martina

Vairāk no tā paša izdevēja

Skatīt visus Vincenzo Arceri ( piem., Hardcover Book )