Hoppa till sidans huvudinnehåll

Doron A. Peled - Böcker

Visar alla böcker från författaren Doron A. Peled.
8 produkter

Software Reliability Methods

Av Doron A. Peled, Doron a Peled

Inbunden, Engelska, 2001

729 kr

Skickas inom 10-15 vardagar

Software Reliability Methods

Av Doron A. Peled

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Av Rajeev Alur, Doron A. Peled

Häftad, Engelska, 2004

1 439 kr

Skickas inom 10-15 vardagar

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, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Runtime Verification

9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Av Saddek Bensalem, Doron A. Peled

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar