Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629, Proceedings, Part III

Prices from
40.83

Featured

COMPARE ALL WEBSHOPS (2)

Description

Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629, Proceedings, Part III

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sort by:

€ 40.83

€ 40.83

Description (0)

Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629, Proceedings, Part III

Product specifications

Brand Springer
EAN
  • 9783032325365

Springer

Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629,...

€ 40.83
Compare 2 stores 2 stores

Springer

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 2629,...

€ 40.83
Compare 2 stores 2 stores

Springer

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 2629,...

€ 40.78
Compare 2 stores 2 stores

Springer

AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 2425, Proceedings

€ 70.31
Compare 2 stores 2 stores
Featured Choice
€ 40.83
To Shop