Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Buy Now

Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17â€“22, 2023, Proceedings, Part III (1st ed. 2023) Loot Price: R1,464

Discovery Miles 14 640

Repayment Terms: R137 pm x 12*

Add to cart

Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17â€“22, 2023, Proceedings, Part III...

Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17â€“22, 2023, Proceedings, Part III (1st ed. 2023)

Constantin Enea, Akash Lal

Series: Lecture Notes in Computer Science, 13966

(sign in to rate)

Loot Price R1,464 Discovery Miles 14 640 | Repayment Terms: R137 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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, 13966
Release date:	July 2023
First published:	2023
Editors:	Constantin Enea • Akash Lal
Dimensions:	235 x 155mm (L x W)
Pages:	502
Edition:	1st ed. 2023
ISBN-13:	978-3-03-137708-2
Categories:	Books Promotions
LSN:	3-03-137708-7
Barcode:	9783031377082