Tipsa dina vänner om produkten:
Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition
Pris
SEK 1.719
Beställningsvara
Förväntad leverans 25 sep - 5 okt
Lägg till din iMusic-önskelista
eller
Challenges of Software Verification - Intelligent Systems Reference Library
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öcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 26 juli 2024 |
| ISBN13 | 9789811996030 |
| Utgivare | Springer Verlag, Singapore |
| Antal sidor | 264 |
| Mått | 150 × 220 × 10 mm · 429 g |
| Redaktör | Arceri, Vincenzo |
| Redaktör | Cortesi, Agostino |
| Redaktör | Ferrara, Pietro |
| Redaktör | Olliaro, Martina |
![Cover for Glycoconjugates of the Pancreas (Inbunden Bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/669/9789819947669.jpg?2027-glycoconjugates-of-the-pancreas-inbunden-bok&class=scaled&v=1774521203)
![Cover for Yu Hui · Traditional Chinese Music Research: An Insider's Exploration (Inbunden 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-inbunden-bok&class=scaled&v=1774341101)
![Cover for D. S. Ramana · Arithmetical Aspects of the Large Sieve Inequality - Texts and Readings in Mathematics (Inbunden Bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/189/9789819247189.jpg?d-s-ramana-2027-arithmetical-aspects-of-the-large-sieve-inequality-texts-and-readings-in-mathematics-inbunden-bok&class=scaled&v=1788248108)
![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)
