Namjoshi, Kedar.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [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.
(Language materials, printed)
Subjects
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.