Opening book details…
Can I read Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6486) on EtoBox?
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6486) by Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.) is a nonfiction available to read on EtoBox.
What is Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6486) 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.
Who reads Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6486)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2011
- Language
- EN
- ISBN
- 9783642177958
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Language Learning
More by Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)
Browse all works by Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)
Similar books
- Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering) — José Meseguer, Grigore Rosu (2008)
- Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116) — Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (2004)
- Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings — J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (1996)
- Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings — Slim Ben Lamine, John Plaice (auth.), Michael Johnson (1997)
- Algebraic Methodology And Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings (lecture Notes In Computer Science) — David Gries (auth.), V. S. Alagar, Maurice Nivat (1995)
- Algebraic Methodology and Software Technology (AMAST’93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993 — Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD (auth.), Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD, Giuseppe Scollo (1994)
