Languages
Bruni, Roberto.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Web services and formal methods5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
(1998 :); Bruni, Roberto.; SpringerLink (Online service); Wolf, Karsten.
(Electronic resources)
Trustworthy global computing6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers /
by:
(1998 :); Bruni, Roberto.; Sassone, Vladimiro.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for distributed systemsjoint 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:
(1998 :); Bruni, Roberto.; Dingel, Juergen.; SpringerLink (Online service)
(Electronic resources)
Models of computation
by:
Bruni, Roberto.; Montanari, Ugo.; SpringerLink (Online service)
(Electronic resources)
Subjects
Web services
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Electronic data processing
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Computer software
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Models and Principles.
Coding and Information Theory.
Information Systems Applications (incl.Internet)
Computer security
Data Encryption.
Computer science
System Performance and Evaluation.
Computer Science.
Computer Communication Networks.
Computer networks
Object-oriented programming (Computer science)