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

Name: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III - Lecture Notes in Computer Science
Price: 44.99 USD
Availability: OutOfStock
Author: Constantin Enea

Price

$ 44.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 21 - 27

Get notified about new Constantin Enea releases

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III - Lecture Notes in Computer Science

Constantin Enea

1st ed. 2023 edition

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.

502 pages, 88 Illustrations, color; 52 Illustrations, black and white; XVII, 502 p. 140 illus., 88 i

Media	Books Paperback Book (Book with soft cover and glued back)
Released	July 17, 2023
ISBN13	9783031377082
Publishers	Springer International Publishing AG
Pages	502
Dimensions	150 × 220 × 10 mm · 721 g
Language	English
Editor	Enea, Constantin
Editor	Lal, Akash