Languages
Piskac, Ruzica.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Verified software = theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers /
by:
SpringerLink (Online service); Piskac, Ruzica.; Rummer, Philipp.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /
by:
Rümmer, Philipp.; Piskac, Ruzica.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings /
by:
SpringerLink (Online service); Piskac, Ruzica.; Enea, Constantin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer logic.
Computer Communication Networks.
System Performance and Evaluation.
Software engineering.
The Computing Profession.
Logics and Meanings of Programs.
Special purpose computers.
Computer communication systems.
Special Purpose and Application-Based Systems.
Computer system failures.
Computers.
Compilers (Computer programs)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software