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