Languages
Bruni, Roberto.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Trustworthy global computing = 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers /
by:
SpringerLink (Online service); Sassone, Vladimiro.; Bruni, Roberto.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Formal techniques for distributed systems = joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
Dingel, Juergen.; SpringerLink (Online service); Bruni, Roberto.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
SpringerLink (Online service); Bruni, Roberto.; Congress on Progress and Controversies in Oncological Urology (2000:); Wolf, Karsten.
(Electronic resources)
Subjects
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Data Encryption.
Computer Communication Networks.
Coding and Information Theory.
System Performance and Evaluation.
Web services
Object-oriented programming (Computer science)
Computer networks- Security measures
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Models and Principles.
Information Systems Applications (incl.Internet)
Electronic data processing- Distributed processing
Computer software- Verification
Management of Computing and Information Systems.
Computer security
Computer software- Validation