books.apple.com/us/book/formal-methods-foundations-and-applications/id1541229321

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

Linked Hostnames

4

Thumbnail

Search Engine Appearance

Google

https://books.apple.com/us/book/formal-methods-foundations-and-applications/id1541229321

‎Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.<br /><br />The 10 regular papers presented t…



Bing

‎Formal Methods: Foundations and Applications

https://books.apple.com/us/book/formal-methods-foundations-and-applications/id1541229321

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.<br /><br />The 10 regular papers presented t…



DuckDuckGo

https://books.apple.com/us/book/formal-methods-foundations-and-applications/id1541229321

‎Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.<br /><br />The 10 regular papers presented t…

  • General Meta Tags

    14
    • title
      ‎Formal Methods: Foundations and Applications by Gustavo Carvalho & Volker Stolz 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
      ‎Formal Methods: Foundations and Applications
    • og:description
      ‎Computers & Internet · 2020
    • og:site_name
      Apple Books
    • og:url
      https://books.apple.com/us/book/formal-methods-foundations-and-applications/id1541229321
    • og:image
      https://is1-ssl.mzstatic.com/image/thumb/Publication124/v4/4c/ae/6d/4cae6df5-eb2e-ea0e-6426-6bed5ba93b5c/cover.jpg/1200x630wz.png

  • Twitter Meta Tags

    6
    • twitter:title
      ‎Formal Methods: Foundations and Applications
    • twitter:description
      ‎Computers & Internet · 2020
    • twitter:site
      @AppleBooks
    • twitter:card
      summary_large_image
    • twitter:image
      https://is1-ssl.mzstatic.com/image/thumb/Publication124/v4/4c/ae/6d/4cae6df5-eb2e-ea0e-6426-6bed5ba93b5c/cover.jpg/1200x600wz.png

  • Link Tags

    15
    • canonical
      https://books.apple.com/us/book/formal-methods-foundations-and-applications/id1541229321
    • 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

35