Fortell venner om denne varen:
Challenges of Software Verification - Intelligent Systems Reference Library Vincenzo Arceri 2023 edition
Pris
NOK 1.559
Bestillingsvarer
Forventes levert 26. okt - 3. nov
Få varsel om nye utgivelser fra Vincenzo Arceri
Legg til iMusic ønskeliste
eller
Challenges of Software Verification - Intelligent Systems Reference Library
Vincenzo Arceri
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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 25. juli 2023 |
| ISBN13 | 9789811996009 |
| Utgivere | Springer Verlag, Singapore |
| Antall sider | 264 |
| Mål | 241 × 163 × 22 mm · 572 g |
| Språk | Engelsk |
| Redaktør | Arceri, Vincenzo |
| Redaktør | Cortesi, Agostino |
| Redaktør | Ferrara, Pietro |
| Redaktør | Olliaro, Martina |
![Cover for Glycoconjugates of the Pancreas (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/669/9789819947669.jpg?2027-glycoconjugates-of-the-pancreas-innbunden-bok&class=scaled&v=1774521203)
![Cover for Yu Hui · Traditional Chinese Music Research: An Insider's Exploration (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/931/9789819763931.jpg?yu-hui-2027-traditional-chinese-music-research-an-insider-s-exploration-innbunden-bok&class=scaled&v=1774341101)
![Cover for Ram Kumar Mishra · Government Performance Management: Experiences and Lessons for India - SpringerBriefs in Business (Pocketbok) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/647/9789811613647.jpg?ram-kumar-mishra-2026-government-performance-management-experiences-and-lessons-for-india-springerbriefs-in-business-pocketbok&class=scaled&v=1694194972)
