Suchergebnisse - Schlingloff, Bernd-Holger 1959-

  • Treffer 1 – 8 von 8
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

    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:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1989
    Hochschulschrift/Dissertation 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

    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:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1990
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  7. 7
    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:
  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- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: