Challenges of Software Verification - Intelligent Systems Reference Library - - Bøger - Springer Verlag, Singapore - 9789811996030 - 26. juli 2024
Ved uoverensstemmelse mellem cover og titel gælder titel

Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition

Pris
DKK 1.360

Bestilles fra fjernlager

Forventes klar til forsendelse 20. - 26. okt.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

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.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 26. juli 2024
ISBN13 9789811996030
Forlag Springer Verlag, Singapore
Antal sider 264
Mål 150 × 220 × 10 mm   ·   429 g
Klipper/redaktør Arceri, Vincenzo
Klipper/redaktør Cortesi, Agostino
Klipper/redaktør Ferrara, Pietro
Klipper/redaktør Olliaro, Martina

Mere med samme udgiver