Vertel uw vrienden over dit artikel:
Challenges of Software Verification - Intelligent Systems Reference Library Vincenzo Arceri 2023 edition
Prijs
€ 153,99
Besteld in een afgelegen magazijn
Verwachte levering 3 - 11 nov.
Ontvang meldingen over nieuwe releases van Vincenzo Arceri
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Challenges of Software Verification - Intelligent Systems Reference Library
Vincenzo Arceri
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 25 juli 2023 |
| ISBN13 | 9789811996009 |
| Uitgevers | Springer Verlag, Singapore |
| Pagina's | 264 |
| Afmetingen | 241 × 163 × 22 mm · 572 g |
| Taal en grammatica | Engels |
| Uitgever | Arceri, Vincenzo |
| Uitgever | Cortesi, Agostino |
| Uitgever | Ferrara, Pietro |
| Uitgever | 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 The Korean Tidal Flats: Sediments and Organisms - Environmental Earth Sciences (Hardcover Book) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/012/9789819211012.jpg?2027-the-korean-tidal-flats-sediments-and-organisms-environmental-earth-sciences-hardcover-book&class=scaled&v=1790614039)
