Languages
Hofmann, Martin.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Hofmann, Martin.
(Electronic resources)
Trustworthly global computing = 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers /
by:
Rauschmayer, Axel.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Wirsing, Martin.; Hofmann, Martin.
(Electronic resources)
Subjects
Software Engineering.
Management of Computing and Information Systems.
Computer security
Computer software- Validation
Algorithm Analysis and Problem Complexity.
Data Encryption.
Computer Communication Networks.
Coding and Information Theory.
Computer networks- Security measures
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer software
Computer software- Verification