言語
Chechik, Marsha.
概観
| 著作: | 3 作品に 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)
(言語・文字資料 (印刷物))
Tools and algorithms for the construction and analysis of systems[electronic resource] :22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings /
…で:
Chechik, Marsha.; Clark Conference ((2005 :); Raskin, Jean-Francois.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Compilers (Computer programs)
Computer software
Computation by Abstract Devices.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
System design
Programming Languages, Compilers, Interpreters.
Computer Science.
System analysis