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

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

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

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

Book Informaton

Author

Michael Johnson; Dusko Pavlovic

Series

Lecture Notes in Computer Science

Volume

6486

Year of Publication

2011

Publisher

Springer Berlin Heidelberg

Pages

X, 238

Language

ISBN

9783642177958, 9783642177965

ARI Id

1664697160371

Find on

This page has been accessed 7 times.

Access Options

Springer

Citation Options

Download Citation

Table of Contents

entries per page

Filter:

Chapters/Headings	Author(s)	Pages	Info
Loading...
Chapters/Headings	Author(s)	Pages	Info

Topics

Logic design Software engineering Computer science Artificial intelligence Abstract data types (computer science)