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

AvDoron A. Peled,Doron a. Peled m. fl.

Inbunden, Engelska, 2001

719 kr

Skickas inom 10-15 vardagar

Software Reliability Methods

AvDoron A. Peled,Doron a. Peled

Häftad, Engelska, 2011

719 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

AvDoron A. Peled,Moshe Y. Vardi m. fl.

Häftad, Engelska, 2002

719 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

AvRajeev Alur,Doron A. Peled m. fl.

Häftad, Engelska, 2004

1 429 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

AvDoron A. Peled,Yih-Kuen Tsay m. fl.

Häftad, Engelska, 2005

719 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

AvFrancesco Logozzo,Doron A. Peled m. fl.

Häftad, Engelska, 2008

719 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

AvDoron A. Peled,Michael Wooldridge m. fl.

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar

Runtime Verification

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

AvSaddek Bensalem,Doron A. Peled m. fl.

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar