کتاب های Christel Baier (auth.)
![Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings](http://cdn.ketabkoo.com/covers/6/649179-n.jpg)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Christel Baier (auth.), 2010![Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings](http://cdn.ketabkoo.com/covers/6/649181-n.jpg)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Christel Baier (auth.), 2010![Principles of Model Checking](http://cdn.ketabkoo.com/covers/3/397666-n.jpg)
Principles of Model Checking
Christel Baier, 2008![Principles of Model Checking](http://cdn.ketabkoo.com/covers/3/397669-n.jpg)
Principles of Model Checking
Christel Baier, 2008![Principles of Model Checking](http://cdn.ketabkoo.com/covers/3/397671-n.jpg)