Languages
Tinelli, Cesare.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings /
by:
(1998 :); Baier, Christel.; SpringerLink (Online service); Tinelli, Cesare.
(Electronic resources)
Frontiers of combining systems8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
by:
(1998 :); Sofronie-Stokkermans, Viorica.; SpringerLink (Online service); Tinelli, Cesare.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computer software
Computation by Abstract Devices.
System design
Programming Languages, Compilers, Interpreters.
Computer science
Logic, Symbolic and mathematical
Computer Science.
System analysis