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.
Coding and Information Theory.
Computer Communication Networks.
System Performance and Evaluation.
Web services
Computer networks- Security measures
Object-oriented programming (Computer science)
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)
Computer software- Verification
Electronic data processing- Distributed processing
Management of Computing and Information Systems.
Computer security
Computer software- Validation