Vinkkaa tuotetta kavereillesi:
Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition
Hinta
€ 164,99
Tilattu etävarastosta
Arvioitu toimitus ti - ke 13. - 21. loka
Lisää iMusic-toivelistallesi
tai
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | perjantai 26. heinäkuuta 2024 |
| ISBN13 | 9789811996030 |
| Tuottaja | Springer Verlag, Singapore |
| Sivujen määrä | 264 |
| Mitta | 150 × 220 × 10 mm · 429 g |
| Toimittaja | Arceri, Vincenzo |
| Toimittaja | Cortesi, Agostino |
| Toimittaja | Ferrara, Pietro |
| Toimittaja | Olliaro, Martina |
![Cover for Glycoconjugates of the Pancreas (Hardcover Book) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/669/9789819947669.jpg?2027-glycoconjugates-of-the-pancreas-hardcover-book&class=scaled&v=1774521203)
![Cover for Harmonious and Symbiotic Interaction in Artificial Intelligence and Robotics: Creating Co-Experience Knowledge and Wisdom (Hardcover Book) [2021 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Yu Hui · Traditional Chinese Music Research: An Insider's Exploration (Hardcover Book) [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-hardcover-book&class=scaled&v=1774341101)
![Cover for D. S. Ramana · Arithmetical Aspects of the Large Sieve Inequality - Texts and Readings in Mathematics (Hardcover Book) [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-hardcover-book&class=scaled&v=1788248108)
![Cover for Ram Kumar Mishra · Government Performance Management: Experiences and Lessons for India - SpringerBriefs in Business (Paperback Book) [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-paperback-book&class=scaled&v=1694194972)
