Suchergebnisse - Schlingloff, Bernd-Holger

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

    Zur temporalen Logik von Bäumen
    von Schlingloff, Bernd-Holger 1959-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Formal Methods for Software Engineering: Languages, Methods, Application Domains
    von Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo, Shaikh, Siraj Ahmed

    Veröffentlicht 2022
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Formale Methoden in der Praxis: Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002
    von Schlingloff, Bernd-Holger 1959-

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Zur temporalen Logik von Bäumen
    von Schlingloff, Bernd-Holger 1959-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Zur temporalen Logik von Bäumen
    von Schlingloff, Bernd-Holger 1959-

    Veröffentlicht 1989
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Formal methods for software engineering: Languages, methods, application domains
    von Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger 1959-, Schneider, Gerardo, Shaikh, Siraj Ahmed

    Veröffentlicht 2022
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Zur temporalen Logik von Bäumen
    von Schlingloff, Bernd-Holger 1959-

    Veröffentlicht 1990
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Software engineering and formal methods: 20th international conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, proceedings

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Schlingloff, Bernd-Holger 1959- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Schlingloff, Bernd-Holger …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Software engineering and formal methods: 20th international conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Schlingloff, Bernd-Holger 1959- …”
    Tagungsbericht Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Concurrency, specification and programming: revised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Schlingloff, Bernd-Holger …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: