Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Michael Johnson und Dusko Pavlovic
    • 52,99 €
    • 52,99 €

Beschreibung des Verlags

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.

GENRE
Computer und Internet
ERSCHIENEN
2011
14. Januar
SPRACHE
EN
Englisch
UMFANG
248
Seiten
VERLAG
Springer Berlin Heidelberg
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
16,2
 MB

Mehr ähnliche Bücher

Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
2008
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2010
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2008
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
2010
Semantics and Algebraic Specification Semantics and Algebraic Specification
Semantics and Algebraic Specification
2009
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2011

Mehr Bücher von Michael Johnson & Dusko Pavlovic

Surveillance Growth Surveillance Growth
Surveillance Growth
2025
Satire Wars Satire Wars
Satire Wars
2025
Mockery Forms Mockery Forms
Mockery Forms
2025
Renewable Energy Mandates Renewable Energy Mandates
Renewable Energy Mandates
2025
Bail Reform Impact Bail Reform Impact
Bail Reform Impact
2025
Tech Law Innovators Tech Law Innovators
Tech Law Innovators
2025