Home > Authors > Doron A. Peled

Doron A. Peled

All books by Doron A. Peled

(Displaying 2 Books)

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron A. Peled

Time for Verification

Time for Verification

Zohar Manna

Looking for another book by Doron A. Peled? Search for the book by title.