Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
2011
Series:
Lecture Notes in Computer Science (Book 6486)
Author:
Michael Johnson, Dusko Pavlovic
ISBN:
9783642177965
Related ISBNs:
9783642177958
Publisher:
Springer Berlin Heidelberg
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2022-07-08
Usage restrictions:
Copyright
Copyright date:
2011
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Mathematics and Statistics, Nonfiction, Philosophy