語系
Chakraborty, Supratik.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers /
by:
Chakraborty, Supratik.; SpringerLink (Online service); Navas, Jorge A.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
by:
SpringerLink (Online service); Mukund, Madhavan.; Chakraborty, Supratik.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Special Purpose and Application-Based Systems.
Automatic theorem proving
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Computer system failures.
Computers.
The Computing Profession.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Special purpose computers.
Artificial intelligence