Treffer 1 – 8 von 8 für Suche 'Gurfinkel, Arie', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part III

    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part III

    Veröffentlicht 2024
    Weitere Verfasser: “… Gurfinkel, Arie …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part I

    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part I

    Veröffentlicht 2024
    Weitere Verfasser: “… Gurfinkel, Arie …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part II

    Computer aided verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part II

    Veröffentlicht 2024
    Weitere Verfasser: “… Gurfinkel, Arie …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Tools and algorithms for the construction and analysis of systems 31st International Conference, TACAS 2025 held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025 Hamilton, ON, Canada, May 3–8, 2025 : proceedings, part I

    Tools and algorithms for the construction and analysis of systems 31st International Conference, TACAS 2025 held as part of the International Joint Conferences on Theory and Practi...

    Veröffentlicht 2025
    Weitere Verfasser: “… Gurfinkel, Arie …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Tools and algorithms for the construction and analysis of systems 31st International Conference, TACAS 2025 held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025 Hamilton, ON, Canada, May 3–8, 2025 : proceedings, part III

    Tools and algorithms for the construction and analysis of systems 31st International Conference, TACAS 2025 held as part of the International Joint Conferences on Theory and Practi...

    Veröffentlicht 2025
    Weitere Verfasser: “… Gurfinkel, Arie …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Tools and algorithms for the construction and analysis of systems 31st International Conference, TACAS 2025 held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025 Hamilton, ON, Canada, May 3–8, 2025 : proceedings, part II

    Tools and algorithms for the construction and analysis of systems 31st International Conference, TACAS 2025 held as part of the International Joint Conferences on Theory and Practi...

    Veröffentlicht 2025
    Weitere Verfasser: “… Gurfinkel, Arie …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Verified software: theories, tools, and experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers

    Verified software: theories, tools, and experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere Verfasser: “… Gurfinkel, Arie …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Verified software: theories, tools and experiments 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers

    Verified software: theories, tools and experiments 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere Verfasser: “… Gurfinkel, Arie …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: