Languages
Caires, Luis.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Caires, Luis.; SpringerLink (Online service)
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
by:
SpringerLink (Online service); Caires, Luis.; Baier, Christel.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Systems and Data Security.
Computer System Implementation.
Formal languages
Data Structures, Cryptology and Information Theory.
Operating Systems.
Computer Communication Networks.
Electronic data processing
Theory of Computation.
Data Structures.
Discrete Mathematics in Computer Science.
Machine theory
Computer Science.
Computer programming
Programming Languages, Compilers, Interpreters.
Numeric Computing.