Doron A. Peled - Böcker

Visar alla böcker från författaren Doron A. Peled.
8 produkter
Doron A. Peled, Doron a. Peled, Doron a Peled - Software Reliability Methods, Inbunden

Software Reliability Methods

Av Doron A. Peled, Doron a. Peled, Doron a Peled

Inbunden, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar
Doron A. Peled, Doron a. Peled - Software Reliability Methods, Häftad

Software Reliability Methods

Av Doron A. Peled, Doron a. Peled

Häftad, Engelska, 2011

1 069 kr

Skickas inom 3-6 vardagar
Doron A. Peled, Moshe Y. Vardi, Doron a. Peled, Moshe y. Vardi - Formal Techniques for Networked and Distributed Systems - FORTE 2002, Häftad
Del 2529 - Lecture Notes in Computer Science

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Av Doron A. Peled, Moshe Y. Vardi, Doron a. Peled, Moshe y. Vardi

Häftad, Engelska, 2002

739 kr

Skickas inom 7-10 vardagar
Rajeev Alur, Doron A. Peled, Doron a. Peled - Computer Aided Verification, Häftad
Del 3114 - Lecture Notes in Computer Science

Computer Aided Verification

Av Rajeev Alur, Doron A. Peled, Doron a. Peled

Häftad, Engelska, 2004

1 459 kr

Skickas inom 7-10 vardagar
Doron A. Peled, Yih-Kuen Tsay, Doron a. Peled - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

Av Doron A. Peled, Yih-Kuen Tsay, Doron a. Peled

Häftad, Engelska, 2005

739 kr

Skickas inom 7-10 vardagar
Francesco Logozzo, Doron A. Peled, Leonore D. Zuck, Doron a. Peled - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Francesco Logozzo, Doron A. Peled, Leonore D. Zuck, Doron a. Peled

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar
Doron A. Peled, Michael Wooldridge, Doron a. Peled - Model Checking and Artificial Intelligence, Häftad

Model Checking and Artificial Intelligence

Av Doron A. Peled, Michael Wooldridge, Doron a. Peled

Häftad, Engelska, 2009

739 kr

Skickas inom 7-10 vardagar
Saddek Bensalem, Doron A. Peled, Doron a. Peled - Runtime Verification, Häftad

Runtime Verification

Av Saddek Bensalem, Doron A. Peled, Doron a. Peled

Häftad, Engelska, 2009

739 kr

Skickas inom 7-10 vardagar