Languages
De Alfaro, Luca.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
De Alfaro, Luca.; Abadi, Martin.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
by:
De Alfaro, Luca.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Computer Science.
Programming Techniques.
System analysis
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Parallel processing (Electronic computers)- Congresses.
Computation by Abstract Devices.
Multitasking (Computer science)
Theory of Computation.