Vincenzo Arceri – författare
Visar alla böcker från författaren Vincenzo Arceri. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 238 - Intelligent Systems Reference Library
Challenges of Software Verification
Inbunden, Engelska, 2023
1 701 kr
Skickas inom 10-15 vardagar
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.
631 kr
Skickas inom 5-8 vardagar
Del 238 - Intelligent Systems Reference Library
Challenges of Software Verification
Häftad, Engelska, 2024
1 701 kr
Skickas inom 10-15 vardagar
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.