De Alfaro, Luca.
概要
| 作品: | 3 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Foundations of Software Science and Computational Structures12th 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:
(1998 :); De Alfaro, Luca.; SpringerLink (Online service)
(書目-電子資源)
Process algebra and probabilistic methodsperformance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /
by:
(1998 :); De Alfaro, Luca.; Gilmore, Stephen.; SpringerLink (Online service)
(書目-電子資源)
CONCUR 2005 - Concurrency Theory16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
(1998 :); Abadi, Martin.; De Alfaro, Luca.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Machine theory
Multitasking (Computer science)
Computation by Abstract Devices.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Computer Science.
Computer Communication Networks.
System analysis