books.apple.com/us/book/computer-aided-verification/id483694140

Preview meta tags from the books.apple.com website.

Linked Hostnames

4

Thumbnail

Search Engine Appearance

Google

https://books.apple.com/us/book/computer-aided-verification/id483694140

‎Computer Aided Verification

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks a…



Bing

‎Computer Aided Verification

https://books.apple.com/us/book/computer-aided-verification/id483694140

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks a…



DuckDuckGo

https://books.apple.com/us/book/computer-aided-verification/id483694140

‎Computer Aided Verification

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks a…

  • General Meta Tags

    14
    • title
      ‎Computer Aided Verification by Tayssir Touili, Byron Cook & Paul Jackson on Apple Books
    • charset
      utf-8
    • X-UA-Compatible
      IE=edge
    • viewport
      width=device-width, initial-scale=1, viewport-fit=cover
    • applicable-device
      pc,mobile

  • Open Graph Meta Tags

    12
    • og:title
      ‎Computer Aided Verification
    • og:description
      ‎Computers & Internet · 2010
    • og:site_name
      Apple Books
    • og:url
      https://books.apple.com/us/book/computer-aided-verification/id483694140
    • og:image
      https://is1-ssl.mzstatic.com/image/thumb/Publication/d7/46/cd/mzi.jkhqtvpt.jpg/1200x630wz.png

  • Twitter Meta Tags

    6
    • twitter:title
      ‎Computer Aided Verification
    • twitter:description
      ‎Computers & Internet · 2010
    • twitter:site
      @AppleBooks
    • twitter:card
      summary_large_image
    • twitter:image
      https://is1-ssl.mzstatic.com/image/thumb/Publication/d7/46/cd/mzi.jkhqtvpt.jpg/1200x600wz.png

  • Link Tags

    15
    • canonical
      https://books.apple.com/us/book/computer-aided-verification/id483694140
    • icon
      https://books.apple.com/assets/images/favicon/favicon-books-48-a8eb8171a8d912ed29d99e7a134953d3.png
    • preconnect
      https://amp-api.books.apple.com
    • preconnect
      https://is1-ssl.mzstatic.com
    • preconnect
      https://is2-ssl.mzstatic.com

Links

32