Languages
Silva, Alexandra.
Overview
| Works: | 0 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
Constable, Robert L.; Silva, Alexandra.; SpringerLink (Online service)
(Electronic resources)
New trends towards Mediterranean tourism sustainability /
by:
Rosalino, Luís M.; Silva, Alexandra.; Abreu, Toño.
(Language materials, printed)
Computer aided verification = 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.. Part I /
by:
CAV (Conference) (2021 :); Silva, Alexandra.; Leino, K. Rustan M.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for distributed objects, components, and systems = 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
by:
FORTE (Conference) (2017 :); Bouajjani, Ahmed.; Silva, Alexandra.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification = 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.. Part II /
by:
CAV (Conference) (2021 :); Silva, Alexandra.; Leino, K. Rustan M.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer logic.
Mathematical Logic and Formal Languages.
Software Engineering.
Computer network protocols
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Software engineering.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Sustainable tourism- Mediterranean Region.
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer software- Verification
Simulation and Modeling.
Computer programming.