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


    Total Items:0

    View Cart

    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)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)

    Top selling books

    You may also be interested in these books written by the same author

    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

    available format

    EPUB

    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)

    Free

    About 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)

    Most Popular

    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

    Books List

    You may also be interested in the other books in this section
    logo

    English

    Powered by PUBNiTO | © 2024 Notion Wave Inc.