Treffer 1 – 9 von 9 für Suche 'ISoLA Rhodos', 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
    Leveraging applications of formal methods, verification and validation practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part IV

    Leveraging applications of formal methods, verification and validation practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part...

    Veröffentlicht 2022
    “… ISoLA Rhodos …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Leveraging applications of formal methods, verification and validation verification principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part I

    Leveraging applications of formal methods, verification and validation verification principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : pro...

    Veröffentlicht 2022
    “… ISoLA Rhodos …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Leveraging applications of formal methods, verification and validation software engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part II

    Leveraging applications of formal methods, verification and validation software engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : procee...

    Veröffentlicht 2023
    “… ISoLA Rhodos …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Leveraging applications of formal methods, verification and validation adaptation and learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part III

    Leveraging applications of formal methods, verification and validation adaptation and learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : pro...

    Veröffentlicht 2022
    “… ISoLA Rhodos …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Veröffentlicht 2022
    “… ISoLA Rhodos …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Veröffentlicht 2022
    “… ISoLA Rhodos …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Veröffentlicht 2022
    “… ISoLA Rhodos …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Veröffentlicht 2022
    “… ISoLA Rhodos …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings

    Leveraging applications of formal methods, verification and validation 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, Octobe...

    Veröffentlicht 2022
    “… ISoLA Rhodos …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: