Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology
Author :
Publisher : Springer
Total Pages : 442
Release :
ISBN-10 : 9783540799801
ISBN-13 : 354079980X
Rating : 4/5 (80X Downloads)

Book Synopsis Algebraic Methodology and Software Technology by : José Meseguer

Download or read book Algebraic Methodology and Software Technology written by José Meseguer and published by Springer. This book was released on 2008-07-29 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.


Algebraic Methodology and Software Technology Related Books

Algebraic Methodology and Software Technology
Language: en
Pages: 442
Authors: José Meseguer
Categories: Computers
Type: BOOK - Published: 2008-07-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana
Algebraic Methodology and Software Technology
Language: en
Pages: 578
Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 2004-06-24 - Publisher: Springer Science & Business Media

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: 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 (AMAST’93)
Language: en
Pages: 429
Authors: Maurice Nivat
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathem
Algebraic Methodology and Software Technology
Language: en
Pages: 612
Authors: Michael Johnson
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

DOWNLOAD EBOOK