Languages
TACAS (Conference) (2019 :)
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems = 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part II /
by:
TACAS (Conference) (2019 :); Vojnar, Tomas.; Zhang, Lijun.; SpringerLink (Online service); ETAPS (Conference) (2019 :)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems = 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part I /
by:
TACAS (Conference) (2019 :); Vojnar, Tomas.; Zhang, Lijun.; SpringerLink (Online service); ETAPS (Conference) (2019 :)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems = 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part III /
by:
SpringerLink (Online service); TACAS (Conference) (2019 :); ETAPS (Conference) (2019 :); Beyer, Dirk.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Logic in AI.
Algorithm Analysis and Problem Complexity.
System design
Logic Design.
Artificial Intelligence.
The Computing Profession.
Computer software- Verification
System Performance and Evaluation.
Simulation and Modeling.
System analysis