Výsledky hledání pro autora

1

Obálka

Semantics with applications : a formal introduction /

Autor Nielson, Hanne Riis, 1954-, Nielson, Flemming, 1955-
Vydáno 1992

Kniha

2

Obálka

Two-level functional languages /

Autor Nielson, Flemming, 1955-, Nielson, Hanne Riis, 1954-
Vydáno 1992

Kniha

3

Obálka

Formal methods : an appetizer /

Autor Nielson, Flemming, 1955-, Nielson, Hanne Riis, 1954-
Vydáno 2019

Kniha

4

Obálka

Principles of program analysis /

Autor Nielson, Flemming, 1955-, Nielson, Hanne Riis, 1954-, Hankin, Chris, 1954-
Vydáno 1999

Kniha

5

Obálka

ML with concurrency : design, analysis, implementation and application /

Vydáno 1997

Další autoři: '; “...Nielson, Flemming, 1955-...”

Kniha