De Alfaro, Luca.
概要
作品: | 3 作品在 0 項出版品 0 種語言 |
---|
書目資訊
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); De Alfaro, Luca.; Abadi, Martin.
(書目-語言資料,印刷品)
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:
SpringerLink (Online service); De Alfaro, Luca.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer Communication Networks.
Multitasking (Computer science)
Theory of Computation.
Computer Science.
Programming Techniques.
Parallel processing (Electronic computers)
Programming Languages, Compilers, Interpreters.
System analysis
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.