Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers

by Michael Johnson, Dusko Pavlovic

238 pages· 2011· ISBN 9783642177958
Join Readfeed freeFind clubs reading this bookBrowse readable books
About
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.

Discuss Algebraic Methodology and Software Technology with other readers

Join or start a book club for Algebraic Methodology and Software Technology on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Algebraic Methodology and Software Technology?

Sign up free on Readfeed, then browse public clubs or start your own club with Algebraic Methodology and Software Technology as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Algebraic Methodology and Software Technology with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Algebraic Methodology and Software Technology with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.