語系
Piskac, Ruzica.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer communication systems.
Computer logic.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
System Performance and Evaluation.
Software engineering.
Computer system failures.
The Computing Profession.
Computers.
Compilers (Computer programs)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Computer software
Special purpose computers.