Treffer 1 – 6 von 6 für Suche 'Bloem, Roderick', Suchdauer: 0,07s 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
    Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design

    Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design von Bloem, Roderick

    Veröffentlicht 2010
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers

    Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–1...

    Veröffentlicht 2022
    Weitere Verfasser: “… Bloem, Roderick …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Handbook of model checking

    Handbook of model checking

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings

    Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Bloem, Roderick …”

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


    Gespeichert in:
  5. 5
    Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings

    Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Bloem, Roderick …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers

    Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19...

    Veröffentlicht 2022
    Weitere Verfasser: “… Bloem, Roderick …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: