Buy Used and New Doron A. Peled Books

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... 2529 (Lecture Notes in Computer Science)

by Doron A. Peled,Moshe Y. Vardi

ISBN 13: 9783540001416

Format: Paperback (384 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science)

by Yih-Kuen Tsay,Doron A. Peled

ISBN 13: 9783540292098

Format: Paperback (524 pages)
Publisher: Springer
Published: 19 Sep 2005

Save for later

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings: 3114 (Lecture Notes in Computer Science)

by Doron A. Peled,Rajeev Alur

ISBN 13: 9783540223429

Format: Illustrated (556 pages)
Publisher: Springer
Published: 29 Jun 2004

Save for later