Doron A. Peled – författare
Visar alla böcker från författaren Doron A. Peled.
8 produkter
Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Av Doron A. Peled, Moshe Y. Vardi
Häftad, 2002
739 kr
Lägg i varukorg
Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Av Rajeev Alur, Doron A. Peled
Häftad, 2004
1469 kr
Lägg i varukorg
Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Av Doron A. Peled, Yih-Kuen Tsay
Häftad, 2005
739 kr
Lägg i varukorg
Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Av Francesco Logozzo, Doron A. Peled m. fl.
Häftad, 2008
739 kr
Lägg i varukorg
Model Checking and Artificial Intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Av Doron A. Peled, Michael Wooldridge
Häftad, 2009
739 kr
Lägg i varukorg
Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Av Saddek Bensalem, Doron A. Peled
Häftad, 2009
739 kr
Lägg i varukorg