Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic.

Format:

Book

Contributor:

Johnson, Michael, editor.

Pavlović, Dusko, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 6486.

Programming and Software Engineering ; 6486

Language:

English

Subjects (All):

Software engineering.

Computer logic.

Programming languages (Electronic computers).

Logic, Symbolic and mathematical.

Artificial intelligence.

Computer programming.

Software Engineering.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Artificial Intelligence.

Programming Techniques.

Local Subjects:

Software Engineering.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Artificial Intelligence.

Programming Techniques.

Physical Description:

1 online resource (X, 238 pages) : 46 illustrations, 10 illustrations in color.

Edition:

First edition 2011.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

System Details:

text file PDF

Summary:

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.

Other Format:

Printed edition:

ISBN:

978-3-642-17796-5

9783642177965

Access Restriction:

Restricted for use by site license.