Treffer 1 – 9 von 9 für Suche 'ISoLA Online', Suchdauer: 0,05s 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
    Leveraging applications of formal methods, verification and validation verification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, proceedings, part I

    Leveraging applications of formal methods, verification and validation verification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 202...

    Veröffentlicht 2020
    “… ISoLA Online …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Leveraging applications of formal methods, verification and validation applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, proceedings, part III

    Leveraging applications of formal methods, verification and validation applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...

    Veröffentlicht 2020
    “… ISoLA Online …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Leveraging applications of formal methods, verification and validation tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings, part IV

    Leveraging applications of formal methods, verification and validation tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhod...

    Veröffentlicht 2021
    “… ISoLA Online …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Leveraging applications of formal methods, verification and validation engineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, proceedings, part II

    Leveraging applications of formal methods, verification and validation engineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020...

    Veröffentlicht 2020
    “… ISoLA Online …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings

    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...

    Veröffentlicht 2020
    “… ISoLA Online …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings

    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...

    Veröffentlicht 2020
    “… ISoLA Online …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings

    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...

    Veröffentlicht 2021
    “… ISoLA Online …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings

    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...

    Veröffentlicht 2020
    “… ISoLA Online …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings

    Leveraging applications of formal methods, verification and validation 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October...

    Veröffentlicht 2020
    “… ISoLA Online …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: