Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 1722, Proceedings, Part II: 13965 (Lecture Notes in Science, 13965)

Springer
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 1722, Proceedings, Part II: 13965 (Lecture Notes in Science, 13965)

1/1

Image of Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 1722, Proceedings, Part II: 13965 (Lecture Notes in Science, 13965)

Prices from

34.97

Featured

£ 34.97

To Shop

COMPARE ALL WEBSHOPS (1)

Description

Amazon Pages: 476, Edition: 1st ed. 2023, Paperback, Springer

Read more

Compare webshops (1)

Shop

Price

£ 34.97

To Shop

Description (1)

Pages: 476, Edition: 1st ed. 2023, Paperback, Springer

Read more

Product specifications

Brand	Springer
EAN	9783031377020

Springer

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

More Information More Info

Springer

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

More Information More Info

Springer

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

More Information More Info

Springer

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July...

More Information More Info

Featured Choice

£ 34.97

To Shop