کتاب های Doron Peled
![Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings](http://cdn.ketabkoo.com/covers/10/1038046-n.jpg)
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Cyrille Artho, Axel Legay, Doron Peled (eds.), 2016![Dependable software systems engineering](http://cdn.ketabkoo.com/covers/12/1288845-n.jpg)
Dependable software systems engineering
Alexander Pretschner, Doron A Peled, Thomas Hutzelmann, 2017![软件可靠性方法](http://cdn.ketabkoo.com/covers/13/1373501-n.jpg)
软件可靠性方法
(以色列)Doron A. Peled, 2012![Model Checking (Cyber Physical Systems Series)](http://cdn.ketabkoo.com/covers/15/1506001-n.jpg)
Model Checking (Cyber Physical Systems Series)
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, 2018![Software Reliability Methods](http://cdn.ketabkoo.com/covers/16/1662546-n.jpg)