Povej prijatelju o tem izdelku:
Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition
Cena
€ 152,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 19. - 29. jun
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
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.
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 26. julija 2024 |
| ISBN13 | 9789811996030 |
| Založniki | Springer Verlag, Singapore |
| Strani | 264 |
| Dimenzije | 150 × 220 × 10 mm · 429 g |
| Urednik | Arceri, Vincenzo |
| Urednik | Cortesi, Agostino |
| Urednik | Ferrara, Pietro |
| Urednik | Olliaro, Martina |
![Cover for Mycotoxins: A Global Challenge for Food Safety & Security - Mycotoxins (Hardcover Book) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/347/9789811065347.jpg?2026-mycotoxins-a-global-challenge-for-food-safety-security-mycotoxins-hardcover-book&class=scaled&v=1738063266)
![Cover for Kate Shaw · The Squander and Salvage of Global Urban Waterfronts (Paperback Book) [1st ed. 2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/469/9789811369469.jpg?kate-shaw-2026-the-squander-and-salvage-of-global-urban-waterfronts-paperback-book&class=scaled&v=1570219621)
![Cover for Fady Alajaji · An Introduction to Single-User Information Theory - Springer Undergraduate Texts in Mathematics and Technology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic-static.b-cdn.net/images/item/original/485/9789819215485.jpg?fady-alajaji-2026-an-introduction-to-single-user-information-theory-springer-undergraduate-texts-in-mathematics-and-technology-hardcover-book&class=scaled&v=1780322464)
