|
Books
|
Buy Now
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (1st ed. 2023)
Loot Price: R1,481
Discovery Miles 14 810
|
|
|
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (1st ed. 2023)
Series: Lecture Notes in Computer Science, 13964
Expected to ship within 10 - 15 working days
|
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. The have been organized in topical sections as
follows: Part I: Automata and logic; concurrency; cyber-physical
and hybrid systems; synthesis; Part II: Decision procedures; model
checking; neural networks and machine learning; Part II:
Probabilistic systems; security and quantum systems; software
verification.
General
| Imprint: |
Springer International Publishing AG
|
| Country of origin: |
Switzerland |
| Series: |
Lecture Notes in Computer Science, 13964 |
| Release date: |
July 2023 |
| First published: |
2023 |
| Editors: |
Constantin Enea
• Akash Lal
|
| Dimensions: |
235 x 155mm (L x W) |
| Pages: |
488 |
| Edition: |
1st ed. 2023 |
| ISBN-13: |
978-3-03-137705-1 |
| Categories: |
Books
Promotions
|
| LSN: |
3-03-137705-2 |
| Barcode: |
9783031377051 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
