語系
Kosmatov, Nikolai.
概要
| 作品: | 3 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Testing software and systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019 : proceedings /
by:
ICTSS (Conference) (2019 :); Gaston, Christophe.; Kosmatov, Nikolai.; Le Gall, Pascale.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
Guide to software verification with Frama-C = core components, usages, and applications /
by:
Kosmatov, Nikolai.; Prevosto, Virgile.; Signoles, Julien.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Frama-C (Computer program)
Logics and Meanings of Programs.
Programming Language.
Programming Techniques.
Computing Milieux.
Software Testing.
Programming Languages, Compilers, Interpreters.
Computer software- Verification.
Computer software- Testing
Coding and Information Theory.
Artificial Intelligence.
Computational Mathematics and Numerical Analysis.
Computer software- Verification
Computer Science.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.