Freunden von diesem Artikel berichten:
Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition
Preis
€ 155,49
Bestellware
Lieferdatum: ca. 6. - 14. Okt
Zu deiner iMusic Wunschliste hinzufügen
oder
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.
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 26. Juli 2024 |
| ISBN13 | 9789811996030 |
| Verlag | Springer Verlag, Singapore |
| Seitenanzahl | 264 |
| Maße | 150 × 220 × 10 mm · 429 g |
| Redakteur | Arceri, Vincenzo |
| Redakteur | Cortesi, Agostino |
| Redakteur | Ferrara, Pietro |
| Redakteur | Olliaro, Martina |
![Cover for Glycoconjugates of the Pancreas (Gebundenes Buch) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/669/9789819947669.jpg?2027-glycoconjugates-of-the-pancreas-gebundenes-buch&class=scaled&v=1774521203)
![Cover for Yu Hui · Traditional Chinese Music Research: An Insider's Exploration (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1774341101)
![Cover for D. S. Ramana · Arithmetical Aspects of the Large Sieve Inequality - Texts and Readings in Mathematics (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1788248108)
