Challenges of Software Verification - Intelligent Systems Reference Library - Vincenzo Arceri - Knjige - Springer Verlag, Singapore - 9789811996009 - 25. julija 2023
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 152,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 1. - 9. okt
Prejemajte obvestila o novih izdajah izvajalca Vincenzo Arceri

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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.

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 25. julija 2023
ISBN13 9789811996009
Založniki Springer Verlag, Singapore
Strani 264
Dimenzije 241 × 163 × 22 mm   ·   572 g
Jezik Angleščina  
Urednik Arceri, Vincenzo
Urednik Cortesi, Agostino
Urednik Ferrara, Pietro
Urednik Olliaro, Martina

Več od istega **izdajatelja**

Ogled vseh Vincenzo Arceri