Author books / Книги автора Flemming Nielson Hanne Riis Nielson » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Flemming Nielson Hanne Riis Nielson

book Formal Methods. An Appetizer

Formal Methods. An Appetizer

pdf

Author: Flemming Nielson Hanne Riis Nielson
Language: English
Year: 2019

00

30.01.2024

0

0

book Principles of Program Analysis

Principles of Program Analysis

pdf

Author: Flemming Nielson Hanne Riis Nielson Chris Hankin (auth.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Type and Effect Systems: Behaviours for Concurrency

Type and Effect Systems: Behaviours for Concurrency

djvu

Author: Torben Amtoft Flemming Nielson Hanne Riis Nielson
Language: English
Year: 1999

00

27.01.2024

0

0

book Two-Level Functional Languages

Two-Level Functional Languages

pdf

Author: Flemming Nielson Hanne Riis Nielson
Language: English
Year: 1992

00

27.01.2024

0

0

book Two-Level Functional Languages

Two-Level Functional Languages

djvu

Author: Flemming Nielson Hanne Riis Nielson
Language: English
Year: 1992

00

27.01.2024

0

0