Recomienda este artículo a tus amigos:
Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition
Precio
Mex$ 2.921
sin IVA
Pedido desde almacén remoto
Entrega prevista 19 de jun. - 1 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de 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.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 26 de julio de 2024 |
| ISBN13 | 9789811996030 |
| Editores | Springer Verlag, Singapore |
| Páginas | 264 |
| Dimensiones | 150 × 220 × 10 mm · 429 g |
| Editor | Arceri, Vincenzo |
| Editor | Cortesi, Agostino |
| Editor | Ferrara, Pietro |
| Editor | 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 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)
![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)
