語系
Blazy, Sandrine.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Interactive theorem proving = 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings /
by:
Paulin-Mohring, Christine.; Blazy, Sandrine.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Pichardie, David.
(書目-語言資料,印刷品)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
by:
Blazy, Sandrine.; SpringerLink (Online service); Chechik, Marsha.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
Jensen, Thomas.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Blazy, Sandrine.
(書目-語言資料,印刷品)
Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
by:
SpringerLink (Online service); Blazy, Sandrine.; Jensen, Thomas.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
Blazy, Sandrine.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Chechik, Marsha.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Automatic theorem proving
Software engineering.
Logic, Symbolic and mathematical
Software engineering
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Computer programming
Compilers (Computer programs)
Programming languages (Electronic computers).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.