Artículos relacionados a Algebraic Methodology and Software Technology: 13th...

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected ... (Lecture Notes in Computer Science, 6486) - Tapa blanda

 
9783642177958: Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected ... (Lecture Notes in Computer Science, 6486)
Tapa blanda
ISBN 10: 3642177956 ISBN 13: 9783642177958
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Año de publicación
2011
Idioma
Inglés
ISBN 10 
3642177956
ISBN 13 
9783642177958
Encuadernación
Tapa blanda
Número de páginas
248
Editor
Johnson Michael, Pavlovic Dusko
Contacto del fabricante
Springer-Verlag GmbH
customerservice@springernature.com

Tiergartenstraße 17
Heidelberg
Baden-Württemberg
69121
Alemania