Peled, Doron A.
概要
| 作品: | 3 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Time for verification = essays in memory of Amir Pnueli /
by:
Peled, Doron A.; SpringerLink (Online service); Manna, Zohar.
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
by:
Logozzo, Francesco.; Peled, Doron A.; Zuck, Lenore D.; SpringerLink (Online service); VMCAI 2008 ((2008 :)
(書目-語言資料,印刷品)
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
Peled, Doron A.; Wooldridge, Michael J.; SpringerLink (Online service); MoChArt 2008 ((2008 :)
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by:
Peled, Doron A.; Tsay, Yih-Kuen; SpringerLink (Online service); ATVA 2005 ((2005 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial intelligence
Mathematical Logic and Formal Languages.
Information Systems and Communication Service.
Logics and Meanings of Programs.
Automatic theorem proving
Computer systems- Verification
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer software- Verification.
Computer Science.
Computer Communication Networks.
Computer software- Verification
Computer programs- Verification