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

Prices from
40.83

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

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

Compare webshops (2)

Shop
Price
Amazon Logo
€ 40.83
To Shop
Amazon Marketplace Logo
€ 40.83
To Shop
Description (0)

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

Product specifications

Brand Springer
EAN
  • 9783032325259

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

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

€ 70.31
Compare 2 stores 2 stores

Springer

Computational Methods in Systems Biology: 24th International Conference, CMSB 2026, Lisbon, Portugal,...

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