Suchergebnisse - Müller-Olm, Markus

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

    Variations on constants: flow analysis of sequential and parallel programs
    von Müller-Olm, Markus

    Veröffentlicht 2006
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Modular compiler verification: a refinement algebraic approach advocating stepwise abstraction
    von Müller-Olm, Markus

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Dependable software engineering: theories, tools, and applications : 4th international symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Müller-Olm, Markus …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: