- ECU Libraries Catalog

Start Over

You searched for: author_facet Nielson, Flemming

Showing 1 - 5 of 5 results

Search Results

Cover image for Formal Methods An Appetizer

Formal Methods An Appetizer

by Nielson, Flemming
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for 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

by Nielson, Flemming
2019
Format: Electronic

Location
Access Content Online

Cover image for Trustworthy global computing

Trustworthy global computing

by TGC 2008
2009
Format: Electronic

Location
Access Content Online

Cover image for Semantics with applications

Semantics with applications

by Nielson, Hanne Riis, 1954-
2007
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.7 .N543 2007	✔ Available

Cover image for Two-level functional languages

Two-level functional languages

by Nielson, Flemming, 1955-
1992
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9.5.N54 1992	✔ Available