Kosmatov, Nikolai.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Testing Software and Systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings /
by:
Le Gall, Pascale.; Kosmatov, Nikolai.; Gaston, Christophe.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Guide to software verification with Frama-C = core components, usages, and applications /
by:
Kosmatov, Nikolai.; Prevosto, Virgile.; SpringerLink (Online service); Signoles, Julien.
(書目-語言資料,印刷品)
Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
by:
Blanchette, Jasmin Christian.; Kosmatov, Nikolai.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
SpringerLink (Online service); Blanchette, Jasmin Christian.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kosmatov, Nikolai.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Computer organization.
Computer logic.
Artificial intelligence.
Coding and Information Theory.
Software engineering.
Programming Language.
Computers.
Software engineering
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Testing.
Computer software
Computer simulation.
Computational Mathematics and Numerical Analysis.
Artificial Intelligence.
Simulation and Modeling.
Computing Milieux.