Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I - Lecture Notes in Computer Science - Constantin Enea - Books - Springer International Publishing AG - 9783031377051 - July 17, 2023
In case cover and title do not match, the title is correct

Constantin Enea
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2023 edition

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Constantin Enea releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions.

488 pages, 121 Illustrations, color; 39 Illustrations, black and white; XXXI, 488 p. 160 illus., 121

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 17, 2023
ISBN13 9783031377051
Publishers Springer International Publishing AG
Pages 488
Dimensions 237 × 156 × 116 mm   ·   774 g
Language English  
Editor Enea, Constantin
Editor Lal, Akash

More from the same publisher

See all of Constantin Enea ( e.g. Paperback Book and Book )