Namjoshi, Kedar.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
by:
SpringerLink (Online service); Namjoshi, Kedar.; Drăgoi, Cezara.; Mukherjee, Suvam.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings /
by:
Mukherjee, Suvam.; Namjoshi, Kedar.; Drăgoi, Cezara.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
by:
SpringerLink (Online service); Zeller, Andreas.; Ziv, Avi.; Workshop on the Preservation of Stability under Discretization ((2001 :); Namjoshi, Kedar.
(書目-語言資料,印刷品)
主題
Software Engineering.
Integrated circuits
Computer System Implementation.
Computer logic.
Computer networks .
Operating Systems.
Computer Communication Networks.
Software engineering.
Computers, Special purpose.
Architecture, Computer.
Computer Science.
Logics and Meanings of Programs.
Special purpose computers.
Computer communication systems.
Special Purpose and Application-Based Systems.
Computer systems.
Computer science.
Operating systems (Computers).
Programming Languages, Compilers, Interpreters.
Computer software
Computer Science Logic and Foundations of Programming.