Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

    • $69.99
    • $69.99

Publisher Description

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
Computers & Internet
RELEASED
2011
January 14
LANGUAGE
EN
English
LENGTH
248
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
16.2
MB
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
2008
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2008
Semantics and Algebraic Specification Semantics and Algebraic Specification
2009
Programming Languages and Systems Programming Languages and Systems
2011
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2011
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
2016
The Road Less Travelled The Road Less Travelled
2012
Pro Microsoft Power BI Administration Pro Microsoft Power BI Administration
2020
Surveillance Growth Surveillance Growth
2025
Satire Wars Satire Wars
2025
Mockery Forms Mockery Forms
2025
Renewable Energy Mandates Renewable Energy Mandates
2025