Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology
Author :
Publisher : Springer
Total Pages : 245
Release :
ISBN-10 : 9783642177965
ISBN-13 : 3642177964
Rating : 4/5 (964 Downloads)

Book Synopsis Algebraic Methodology and Software Technology by : Michael Johnson

Download or read book Algebraic Methodology and Software Technology written by Michael Johnson and published by Springer. This book was released on 2011-01-14 with total page 245 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Algebraic Methodology and Software Technology Related Books

Algebraic Methodology and Software Technology
Language: en
Pages: 245
Authors: Michael Johnson
Categories: Computers
Type: BOOK - Published: 2011-01-14 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Be
Algebraic Methodology and Software Technology
Language: en
Pages: 578
Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 2004-11-11 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirli
Algebraic Methodology and Software Technology
Language: en
Pages: 660
Authors: Martin Wirsing
Categories: Computers
Type: BOOK - Published: 1996-06-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Content Description #Includes bibliographical references and index.
Algebraic Methodology and Software Technology
Language: en
Pages: 612
Authors: V.S. Alagar
Categories: Computers
Type: BOOK - Published: 1995-05-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1
Algebraic Methodology and Software Technology
Language: en
Pages: 556
Authors: Teodor Rus
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

DOWNLOAD EBOOK

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in I