کتاب های Dusko Pavlovic (eds.)
![Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/164101-n.jpg)
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.), 2011![Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/164102-n.jpg)
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.), 2011![Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows](http://cdn.ketabkoo.com/covers/13/1399817-n.jpg)