言語
Blazy, Sandrine.
概観
| 著作: | 2 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Verified Software. Theories, Tools, and Experiments[electronic resource] :8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
…で:
Blazy, Sandrine.; Chechik, Marsha.; Clark Conference ((2005 :); SpringerLink (Online service)
(言語・文字資料 (印刷物))
Static analysis[electronic resource] :22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
…で:
Blazy, Sandrine.; Clark Conference ((2005 :); Jensen, Thomas.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Compilers (Computer programs)
Computer software
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science.