books.apple.com/us/book/computer-aided-verification/id1424642606
Preview meta tags from the books.apple.com website.
Linked Hostnames
4- 20 links towww.apple.com
- 19 links tobooks.apple.com
- 1 link tolocate.apple.com
- 1 link tosupport.apple.com
Thumbnail
Search Engine Appearance
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.<br /><br />The 52 full and 13 tool papers presented  together with 3 invited papers and 2 tu…
Bing
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.<br /><br />The 52 full and 13 tool papers presented  together with 3 invited papers and 2 tu…
DuckDuckGo
https://books.apple.com/us/book/computer-aided-verification/id1424642606Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.<br /><br />The 52 full and 13 tool papers presented  together with 3 invited papers and 2 tu…
General Meta Tags
14- titleComputer Aided Verification by Hana Chockler & Georg Weissenbacher on Apple Books
- charsetutf-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1, viewport-fit=cover
- applicable-devicepc,mobile
Open Graph Meta Tags
12- og:titleComputer Aided Verification
- og:descriptionComputers & Internet · 2018
- og:site_nameApple Books
- og:urlhttps://books.apple.com/us/book/computer-aided-verification/id1424642606
- og:imagehttps://is1-ssl.mzstatic.com/image/thumb/Publication128/v4/ae/45/b6/ae45b6c5-4f5f-29ed-8f81-35b9e6aa0488/cover.jpg/1200x630wz.png
Twitter Meta Tags
6- twitter:titleComputer Aided Verification
- twitter:descriptionComputers & Internet · 2018
- twitter:site@AppleBooks
- twitter:cardsummary_large_image
- twitter:imagehttps://is1-ssl.mzstatic.com/image/thumb/Publication128/v4/ae/45/b6/ae45b6c5-4f5f-29ed-8f81-35b9e6aa0488/cover.jpg/1200x600wz.png
Link Tags
15- canonicalhttps://books.apple.com/us/book/computer-aided-verification/id1424642606
- iconhttps://books.apple.com/assets/images/favicon/favicon-books-48-a8eb8171a8d912ed29d99e7a134953d3.png
- preconnecthttps://amp-api.books.apple.com
- preconnecthttps://is1-ssl.mzstatic.com
- preconnecthttps://is2-ssl.mzstatic.com
Links
41- https://books.apple.com/us/author/georg-weissenbacher/id510951329
- https://books.apple.com/us/author/hana-chockler/id1015236484
- https://books.apple.com/us/book/algorithms-for-big-data/id6445463327
- https://books.apple.com/us/book/art-of-computer-programming-the/id849005250
- https://books.apple.com/us/book/computer-aided-verification/id1424642606?see-all=author-other-books