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

Prices from
41.84

Sponsored links

COMPARE ALL WEBSHOPS (1)

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 (1)

Sponsored links · Some shops pay us a fee

Sort by:

€ 41.84

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,...

€ 41.86
More Information More Info

Springer

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

€ 41.86
More Information More Info

Springer

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

€ 41.86
More Information More Info

Springer

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

€ 71.77
More Information More Info
Featured Choice
€ 41.84
To Shop