کتاب های Benjamin Grégoire
![Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings](http://cdn.ketabkoo.com/covers/0/95919-n.jpg)
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.), 2012![Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures](http://cdn.ketabkoo.com/covers/1/142427-n.jpg)
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.), 2008![Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures](http://cdn.ketabkoo.com/covers/1/142428-n.jpg)
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.), 2008![Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures](http://cdn.ketabkoo.com/covers/1/142429-n.jpg)