Kosmatov, Nikolai.
概要
| 作品: | 1 作品在 3 項出版品 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.
(書目-語言資料,印刷品)
Integrated formal methods = 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Kosmatov, Nikolai.; Kovács, Laura.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer organization.
Formal methods (Computer science)
Artificial intelligence.
Software engineering.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computational Mathematics and Numerical Analysis.
Artificial Intelligence.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Software Testing.
Software Engineering.
Computer logic.
Coding and Information Theory.
Programming Language.
Computer Science.
Computer simulation.
Simulation and Modeling.
Computing Milieux.
Programming languages (Electronic computers).
Computer software