Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
by
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
Title
:
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author
:
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
ISBN
:
9783319961453
Edition
:
1st ed. 2018.
Physical Description
:
XIX, 703 p. 146 illus. online resource.
Series
:
Theoretical Computer Science and General Issues ; 10981
Subject Term
:
Logic design.
Software engineering.
Artificial intelligence.
Computer science.
Computer software.
Computer simulation.
Added Author
:
Chockler, Hana.
Weissenbacher, Georg.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 400155-1001 | ONLINE | | Elektronik Kütüphane |