Doron A. Peled – författare

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

8 produkter

Kategorier

8 produkter

Software Reliability Methods
AvDoron A. Peled
Inbunden, Engelska, 2001
729 kr
Skickas inom 10-15 vardagar
Software Reliability Methods
AvDoron 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
AvDoron A. Peled,Moshe Y. Vardi
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
AvRajeev Alur,Doron A. Peled
Häftad, Engelska, 2004
1 459 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
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
AvFrancesco Logozzo,Doron A. Peledm. 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
AvDoron 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
AvSaddek Bensalem,Doron A. Peled
Häftad, Engelska, 2009
729 kr
Skickas inom 10-15 vardagar