Book icon with persian name of Pubnito
  • Store
  • Library
  • Your Cart


    Total Items:0

    View Cart

    Tools and Algorithms for the Construction and Analysis of Systems :25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

    Tools and Algorithms for the Construction and Analysis of Systems :25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

    Dirk Beyer(editor)Marieke Huisman(editor)Fabrice Kordon(editor)Bernhard Steffen(editor)

    25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

    Book Format

    Free

    Reviews

    Rating Snapshot

    Select a row below to filter reviews.

    0

    0

    0

    0

    0

    0

    Overall

    Average Customer Ratings

    Review for this Book

    Share your thoughts with other readers

    More Information

    Description of Tools and Algorithms for the Construction and Analysis of Systems :25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

    25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

    Additional Information

    Vendor

    Publication

    Publish Date

    2020 Jun 11

    Authors
    Dirk Beyer(editor)Marieke Huisman(editor)Fabrice Kordon(editor)Bernhard Steffen(editor)

    ISBN

    978-3-030-17502-3

    About the authors

    Dirk Beyer(editor)
    Dirk Beyer(editor)

    Full Professor, Head of Research Chair (Lehrstuhlinhaber) Software and Computational Systems Lab Institute for Informatics Ludwig-Maximilians-Universität München (LMU Munich)

      Dirk Beyer(editor)
      Marieke Huisman(editor)
      Marieke Huisman(editor)

      Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.

      Marieke Huisman(editor)
      Fabrice Kordon(editor)
      Fabrice Kordon(editor)

      Professor at Sorbonne Université

      Fabrice Kordon(editor)
      Bernhard Steffen(editor)
      Bernhard Steffen(editor)

      Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling.

      Bernhard Steffen(editor)

      Tags

      Artificial Intelligencecompetitionformal logicformal methodsjavamodel checkingprogramming languagessemanticsSoftware Engineeringsoftware evaluationtheory of computationBarrier verification

      Table of content

      Recommended Books

      Based on the books you like and read

      logo

      English

      Powered by PUBNiTO | © 2024 Notion Wave Inc.