Challenges of Software Verification

Where to buy (1) Characteristics
Sponsored
Challenges of Software Verification
WHSmith
139.99 GBP
Price updated on: 17-05-2026 08:07:33
View product deal

General

Brand
Vincenzo Arceri

Characteristics

Similar products

Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings
Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings
View Product
Introducing Software Verification with Dafny Language : Proving Program Correctness
Introducing Software Verification with Dafny Language : Proving Program Correctness
View Product
Artech House, Inc. Software Verification and Validation for Practitioners and Managers
Artech House, Inc. Software Verification and Validation for Practitioners and Managers
View Product
Menu