Suchergebnisse - Nielson, Flemming 1955-

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

    Formal methods: an appetizer
    von Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-

    Veröffentlicht 2019
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Two-level functional languages
    von Nielson, Flemming 1955-

    Veröffentlicht 1992
    Online lesen
    E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Formal methods: an appetizer
    von Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-

    Veröffentlicht 2019
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Two-level functional languages
    von Nielson, Flemming 1955-

    Veröffentlicht 1992
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Principles of program analysis
    von Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-, Hankin, Chris

    Veröffentlicht 2005
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Principles of security and trust: 8th international conference, POST 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Nielson, Flemming 1955- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Principles of security and trust: 8th international conference, POST 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prag, Czech Republic, April 6-11, 2019 : proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Nielson, Flemming 1955- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: