books.apple.com/us/book/automated-technology-for-verification-and-analysis/id498770437
Preview meta tags from the books.apple.com website.
Linked Hostnames
4- 20 links towww.apple.com
- 16 links tobooks.apple.com
- 1 link tolocate.apple.com
- 1 link tosupport.apple.com
Thumbnail
Search Engine Appearance
Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. <br /><br />The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and s…
Bing
Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. <br /><br />The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and s…
DuckDuckGo
https://books.apple.com/us/book/automated-technology-for-verification-and-analysis/id498770437Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. <br /><br />The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and s…
General Meta Tags
14- titleAutomated Technology for Verification and Analysis by Zhiming Liu & Anders P. Ravn 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:titleAutomated Technology for Verification and Analysis
- og:descriptionComputers & Internet · 2009
- og:site_nameApple Books
- og:urlhttps://books.apple.com/us/book/automated-technology-for-verification-and-analysis/id498770437
- og:imagehttps://is1-ssl.mzstatic.com/image/thumb/Publication/95/15/6d/mzi.rduhcrwl.jpg/1200x630wz.png
Twitter Meta Tags
6- twitter:titleAutomated Technology for Verification and Analysis
- twitter:descriptionComputers & Internet · 2009
- twitter:site@AppleBooks
- twitter:cardsummary_large_image
- twitter:imagehttps://is1-ssl.mzstatic.com/image/thumb/Publication/95/15/6d/mzi.rduhcrwl.jpg/1200x600wz.png
Link Tags
15- canonicalhttps://books.apple.com/us/book/automated-technology-for-verification-and-analysis/id498770437
- 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
38- https://books.apple.com/us/author/anders-p-ravn/id498771112
- https://books.apple.com/us/author/zhiming-liu/id492024797
- https://books.apple.com/us/book/automated-technology-for-verification-and-analysis/id498770437?see-all=author-other-books
- https://books.apple.com/us/book/automated-technology-for-verification-and-analysis/id498770437?see-all=more-books-like-this
- https://books.apple.com/us/book/computer-aided-verification/id483694140