Book icon with persian name of Pubnito
  • Magasin
  • Bibliothèque

    • Votre panier

    Articles au total:0

    Voir le panier

    Tools and Algorithms for the Construction and Analysis of Systems :25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019

    Tools and Algorithms for the Construction and Analysis of Systems :25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019

    Lijun Zhang(editor)Tomáš Vojnar(editor)

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    forme de livre

    Gratuite

    description_of_book

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Informations supplémentaires

    Fournisseur

    SpringerOpen

    Éditrice

    SpringerOpen

    Date de publication

    2019 Apr 11

    Auteurs-
    Lijun Zhang(editor)Tomáš Vojnar(editor)

    ISBN

    978-3-030-17465-1

    Sujets
    Informatique et TIConférences Springer

    À propos des auteurs

    Lijun Zhang(editor)
    Lijun Zhang(editor)

    Chinese Academy of Sciences,Beijing,China

    Lijun Zhang(editor)
    Tomáš Vojnar(editor)
    Tomáš Vojnar(editor)

    Brno University of Technology,Brno,Czech Republic

    Tomáš Vojnar(editor)
    logo

    Français

    Télécharger des applications

    Propulsé par PUBNiTO | © 2025 Notion Wave Inc.