Fortell venner om denne varen:
Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition
Pris
NOK 1.569
Bestillingsvarer
Forventes levert 16. - 24. jun
Legg til iMusic ønskeliste
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øker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 26. juli 2024 |
| ISBN13 | 9789811996030 |
| Utgivere | Springer Verlag, Singapore |
| Antall sider | 264 |
| Mål | 150 × 220 × 10 mm · 429 g |
| Redaktør | Arceri, Vincenzo |
| Redaktør | Cortesi, Agostino |
| Redaktør | Ferrara, Pietro |
| Redaktør | Olliaro, Martina |
![Cover for Mycotoxins: A Global Challenge for Food Safety & Security - Mycotoxins (Innbunden bok) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/347/9789811065347.jpg?2026-mycotoxins-a-global-challenge-for-food-safety-security-mycotoxins-innbunden-bok&class=scaled&v=1738063266)
![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)
![Cover for Kate Shaw · The Squander and Salvage of Global Urban Waterfronts (Pocketbok) [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-pocketbok&class=scaled&v=1570219621)
