語系
Damiani, Ferruccio.
概要
| 作品: | 3 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
Beckert, Bernhard.; Damiani, Ferruccio.; Gurov, Dilian.; SpringerLink (Online service)
(書目-電子資源)
Types for proofs and programs = international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
by:
Berardi, Stefano.; Coppo, Mario, (1947-); Damiani, Ferruccio.; SpringerLink (Online service); TYPES 2003 ((2003 :)
(書目-語言資料,印刷品)
Coordination models and languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings /
by:
COORDINATION (Conference) (2021 :); Damiani, Ferruccio.; Dardha, Ornela.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Software architecture
Software Engineering/Programming and Operating Systems.
Automatic theorem proving
Programming Techniques.
Management of Computing and Information Systems.
Database Management.
Computer programming
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Object-oriented programming (Computer science)
Computer Applications.