IOU Library

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

An electronic copy of book is available for Library Members

Further Details Info

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
Call No
Authors	Hana Chockler; Georg Weissenbacher
Subjects	Computers

An electronic copy of book is available for Library Members Sign in to view the book

no reviews

Sub Title:
Edition:
Volume:
Publisher: Springer
Publishing Year: 2018
ISBN: 10.1007/978-3-319-96145-3
Pages: 709

245: $a: 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
245: $b:
082: $a:
100: $a: Hana Chockler; Georg Weissenbacher
650: $a: Computers
250: $a:
440: $v:
250: $b: Springer
250: $c: 2018
020: $a: 10.1007/978-3-319-96145-3
300: $a: 709

Welcome to IOU Digital Library

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

Further Details Info

Fresh Arrivals