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 networks
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Computer security
Artificial Intelligence.
Computing Milieux.
Computer system failures.
Computers.
Programming Languages, Compilers, Interpreters.
Computer security.
Computer software