語系
Damiani, Ferruccio.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal verification of object-oriented softwareinternational conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
(1998 :); Beckert, Bernhard.; Damiani, Ferruccio.; Gurov, Dilian.; SpringerLink (Online service)
(書目-電子資源)
Types for proofs and programsInternational Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
by:
(1998 :); Berardi, Stefano.; Damiani, Ferruccio.; De'Liguoro, Ugo.; SpringerLink (Online service)
(書目-電子資源)
Types for proofs and programsinternational workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
by:
(1998 :); Berardi, Stefano.; Coppo, Mario, (1947-); Damiani, Ferruccio.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages23rd 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:
(1998 :); Damiani, Ferruccio.; Dardha, Ornela.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Software architecture
Electronic data processing
Software Engineering/Programming and Operating Systems.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer software
Programming Techniques.
Management of Computing and Information Systems.
Database Management.
Computer programming
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.
Object-oriented programming (Computer science)
Computer Applications.