Challenges of Software Verification
(Bog, Hardback, Engelsk)
Forlag:
Springer Verlag, Singapore
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9789811996009
- Se flere detaljer ▼
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer Verlag, Singapore |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 2023 ed. |
| Udgivelsesdato | 25-07-2023 |
| Første udgivelsesår | 2023 |
| Serie | Intelligent Systems Reference Library |
| Illustrationer | 59 Illustrations, color; 21 Illustrations, black and white |
| Fagredaktør | Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro |
| Originalsprog | Singapore |
| Sideantal | 264 |
| Indbinding | Hardback |
| Forlag | Springer Verlag, Singapore |
| Sideoplysninger | 264 pages, 59 Illustrations, color; 21 Illustrations, black and white |
| Mål | 163 x 241 x 22 |
| ISBN-13 / EAN-13 | 9789811996009 |