Suchergebnisse - TACAS Thessaloniki

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings, part II

    Veröffentlicht 2018
    “… TACAS Thessaloniki …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings, part I

    Veröffentlicht 2018
    “… TACAS Thessaloniki …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings
    Part 1

    Veröffentlicht 2018
    “… TACAS Thessaloniki …”
    Tagungsbericht Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings

    Veröffentlicht 2018
    “… TACAS Thessaloniki …”
    Tagungsbericht Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings
    Part 2

    Veröffentlicht 2018
    “… TACAS Thessaloniki …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: