Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Constantin Enea, Akash Lal
644 kr
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
Häftad, Engelska, 2023
Del 13966 i serien Lecture Notes in Computer Science
450 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 13964
Del 13965
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Constantin Enea, Akash Lal
644 kr
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Constantin Enea, Akash Lal
644 kr
Verification, Model Checking, and Abstract Interpretation
Ruzica Piskac, Constantin Enea
E-bok
2019708 kr
Verification, Model Checking, and Abstract Interpretation
Constantin Enea, Ruzica Piskac
Häftad, 2019
561 kr
Del 13800
Del 14783