Languages
Nielson, Flemming.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal Methods = An Appetizer /
by:
Riis Nielson, Hanne.; SpringerLink (Online service); Nielson, Flemming.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal methods = an appetizer /
by:
Nielson, Flemming.; Riis Nielson, Hanne.; SpringerLink (Online service)
(Language materials, printed)
Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers /
by:
Nielson, Flemming.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kaklamanis, Christos.; SpringerLink (Online service)
(Language materials, printed)
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:
Sands, David.; SpringerLink (Online service); Nielson, Flemming.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Formal methods (Computer science)
Systems and Data Security.
Software Engineering/Programming and Operating Systems.
Artificial intelligence.
Computer Communication Networks.
Information theory.
Software engineering.
System Performance and Evaluation.
Software protection
Theory of Computation.
Computer system failures.
Computer networks
Computers.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer security.
Logics and Meanings of Programs.
Computer software
Computer security
Artificial Intelligence.
Computing Milieux.