Sharygina, Natasha.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Validation of Evolving Software
by:
Mariani, Leonardo.; Kroening, Daniel.; Sharygina, Natasha.; Chockler, Hana.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Verification = 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers /
by:
Bloem, Roderick.; Fan, Chuchu.; Sharygina, Natasha.; SpringerLink (Online service); Dimitrova, Rayna.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 : proceedings /
by:
Sharygina, Natasha.; SpringerLink (Online service); Veith, Helmut.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer logic.
Computer networks .
Computer Communication Networks.
Software engineering.
Computer Science.
Microprogramming .
Compilers and Interpreters.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Computer science.
Computers.
Computer Hardware.
Compilers (Computer programs).
Computer software
Computer Science Logic and Foundations of Programming.