AddALL book price comparison

Home Book reviews Contact

☰

Doron A. Peled

1. Automated Technology for Verification And Analysis: Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Editor: Doron A. Peled - Editor: Yih-kuen Tsay

ISBN: 3540292098
ISBN13: 9783540292098
Binding: Paperback
List Price: $89.0
Publisher: Springer-Verlag New York Inc
Published Date: 12/16/2005

2. Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Editor: Michael J. Wooldridge - Editor: Doron A. Peled

ISBN: 364200430X
ISBN13: 9783642004308
Binding: Paperback
List Price: $64.95
Publisher: Springer-Verlag New York Inc
Published Date: 04/01/2009

3. Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference, Houston, Texas, Usa, November 11-14, 2002 Proceedings

Editor: Doron A. Peled - Editor: Moshe Y. Vardi

ISBN: 3540001417
ISBN13: 9783540001416
Binding: Paperback
List Price: $82.95
Publisher: Springer-Verlag New York Inc
Published Date: 12/01/2002

4. Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Editor: Francesco Logozzo - Editor: Doron A. Peled - Editor: Lenore D. Zuck

ISBN: 3540781625
ISBN13: 9783540781622
Binding: Paperback
List Price: $69.95
Publisher: Springer-Verlag New York Inc
Published Date: 04/03/2008

5. Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996

Editor: Vaughan R. Pratt - Editor: Doron A. Peled - Editor: Gerard J. Holzmann

ISBN: 0821805797
ISBN13: 9780821805794
Binding: Hardcover
List Price: $98.0
Publisher: Amer Mathematical Society
Published Date: 01/01/1997