Languages
Dillig, Isil.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
by:
Tasiran, Serdar.; SpringerLink (Online service); Dillig, Isil.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
by:
Tasiran, Serdar.; SpringerLink (Online service); Dillig, Isil.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I /
by:
Tasiran, Serdar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dillig, Isil.; SpringerLink (Online service)
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
by:
SpringerLink (Online service); Palsberg, Jens.; Dillig, Isil.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II /
by:
Tasiran, Serdar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dillig, Isil.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Computer organization.
Computer logic.
Artificial intelligence.
Information theory.
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Theory of Computation.
Logic in AI.
The Computing Profession.
Computer programs
Computer network architectures.
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Computation by Abstract Devices.
Computer communication systems.
Artificial Intelligence.
Simulation and Modeling.
Computer science.
Computer system failures.
Computers.