Languages
Aceto, Luca.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Reactive systems = modelling, specification and verification /
by:
ProQuest (Firm); Aceto, Luca.
(Language materials, printed)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Aceto, Luca.; SpringerLink (Online service)
(Language materials, printed)
Reactive systems = modelling, specification and verification /
by:
Aceto, Luca.; MyiLibrary.
(Language materials, printed)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I /
by:
Sgall, Jiri.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Aceto, Luca.; Henzinger, Monika.
(Language materials, printed)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Aceto, Luca.
(Language materials, printed)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II /
by:
Aceto, Luca.; Henzinger, Monika.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Sgall, Jiri.
(Language materials, printed)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
Larsen, K. G. (1957-); Aceto, Luca.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Information theory.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Data Structures.
Computer Science.
Computer programming
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
System design
Formal languages
Artificial Intelligence.
Data Structures, Cryptology and Information Theory.
Expert systems (Computer science)
Simulation and Modeling.
Computer algorithms.
Information Storage and Retrieval.
Discrete Mathematics in Computer Science.
Programming languages (Electronic computers)
Machine theory
Larsen, K. G.
Parallel processing (Electronic computers)
Programming Languages, Compilers, Interpreters.
Numeric Computing.
Computation by Abstract Devices.
Computer software