Algebraic Methodology and Software Technology: 13th International Conference, Amast 2010, Lac-beauport, Qc, Canada, June 23-25, 2010, Revised Selected Papers: 6486 - Brossura

 
9783642177958: Algebraic Methodology and Software Technology: 13th International Conference, Amast 2010, Lac-beauport, Qc, Canada, June 23-25, 2010, Revised Selected Papers: 6486
Brossura
ISBN 10: 3642177956 ISBN 13: 9783642177958
Casa editrice: Springer Nature, 2011

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer Nature
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
3642177956
ISBN 13 
9783642177958
Rilegatura
Copertina flessibile
Numero di pagine
238
Redattore
Pavlocic Dusko, Johnson Michael
Contatto del produttore
Springer-Verlag GmbH
customerservice@springernature.com

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