Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II.

By: Shoham, SharonContributor(s): Vizel, YakirMaterial type: TextTextSeries: Lecture Notes in Computer Science SeriesPublisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Edition: 1st edDescription: 1 online resource (560 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9783031131882Genre/Form: Electronic books.Additional physical formats: Print version:: Computer Aided VerificationLOC classification: QA76.758Online resources: Click to View
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2023. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.