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

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

book Semantics with applications: an appetizer

Semantics with applications: an appetizer

pdf

Author: Nielson Flemming, Nielson Hanne Riis
Language: English
Year: 2007

00

07.02.2024

0

0

book 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

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

pdf

Author: Flemming Nielson David Sands
Language: English
Year: 2019

00

30.01.2024

0

0

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 Semantics with applications: a formal introduction

Semantics with applications: a formal introduction

pdf

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

00

27.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 Principles of Program Analysis

Principles of Program Analysis

pdf

Author: Flemming Nielson Hanne R. Nielson Chris Hankin
Language: English
Year: 2005

00

27.01.2024

0

0

book Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

pdf

Author: Flemming Nielson Han Gao (auth.) Alessandro Armando Gavin Lowe (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

pdf

Author: Mario Bravetti Ivan Lanese Gianluigi Zavattaro (auth.) Christos Kaklamanis Flemming Nielson (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

pdf

Author: Hanne Riis Nielson PhD Flemming Nielson PhD DSc (auth.)
Language: English
Year: 2007

00

27.01.2024

2

0

book Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

pdf

Author: Flemming Nielson Han Gao (auth.) Alessandro Armando Gavin Lowe (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0