Languages
Bravetti, Mario.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /
by:
Bravetti, Mario.; Zavattaro, Gianluigi.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Formal Techniques for Computer Systems and Business Processes = European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /
by:
Kloul, Leila.; Bravetti, Mario.; SpringerLink (Online service); Zavattaro, Gianluigi.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Web services and formal methods = 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /
by:
Bravetti, Mario.; Bultan, Tevfik.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Subjects
Software Engineering.
Formal methods (Computer science)
Telecommunication systems- Evaluation
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
System Performance and Evaluation.
Web services
Computer systems- Evaluation
Theory of Computation.
User Interfaces and Human Computer Interaction.
Information Storage and Retrieval.
Mathematics of Computing.
Computer multitasking
Computer Science.
Parallel processing (Electronic computers)
Models and Principles.
Logics and Meanings of Programs.
Information Systems Applications (incl.Internet)
Computation by Abstract Devices.
Management of Computing and Information Systems.
Computers and Society.