Peled, Doron A.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Time for verificationessays in memory of Amir Pnueli /
by:
Manna, Zohar.; Peled, Doron A.; SpringerLink (Online service)
(書目-電子資源)
Automated Technology for Verification and Analysis :Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by:
(1998 :); Peled, Doron A.; SpringerLink (Online service); Tsay, Yih-Kuen
(書目-電子資源)
Model checking and artificial intelligence5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(1998 :); Peled, Doron A.; SpringerLink (Online service); Wooldridge, Michael J.
(書目-電子資源)
Runtime verification9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(1998 :); Bensalem, Saddek.; Peled, Doron A.; SpringerLink (Online service)
(書目-電子資源)
Verification, Model Checking, and Abstract Interpretation :9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
by:
(1998 :); Logozzo, Francesco.; Peled, Doron A.; SpringerLink (Online service); Zuck, Lenore D.
(書目-電子資源)
主題
Software Engineering.
Artificial intelligence
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Automatic theorem proving
Computer systems
Computer software
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Formal methods (Computer science)
Computer programs
Performance and Reliability.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.