言語
Blanchette, Jasmin Christian.
概観
| 著作: | 1 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Interactive theorem proving[electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
…で:
Blanchette, Jasmin Christian.; Clark Conference ((2005 :); Merz, Stephan.; SpringerLink (Online service)
(コンピュータ・メディア)
Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
…で:
Blanchette, Jasmin Christian.; Clark Conference ((2005 :); Kosmatov, Nikolai.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Programming Techniques.
Automatic theorem proving
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer Science.
Simulation and Modeling.
System Performance and Evaluation.