Languages
Damiani, Ferruccio.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Types for proofs and programs = international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Coppo, Mario, (1947-); SpringerLink (Online service); Berardi, Stefano.; Damiani, Ferruccio.
(Language materials, printed)
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
Beckert, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); Gurov, Dilian.; Damiani, Ferruccio.; SpringerLink (Online service)
(Language materials, printed)
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:
SpringerLink (Online service); Damiani, Ferruccio.; Dardha, Ornela.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Dardha, Ornela.; SpringerLink (Online service); Damiani, Ferruccio.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer networks .
Artificial intelligence.
Automatic theorem proving
Computer Communication Networks.
Software engineering.
Object-oriented programming (Computer science)
Natural language processing (Computer science).
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programming
Logics and Meanings of Programs.
Computer software
Database Management.
Computer and Information Systems Applications.
Management of Computing and Information Systems.
Computer communication systems.
Application software.
Database management.
Artificial Intelligence.
Computer Applications.
Natural Language Processing (NLP).