Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Michael Johnson и Dusko Pavlovic
    • 69,99 $
    • 69,99 $

От издателя

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.

ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2011
14 января
ЯЗЫК
EN
английский
ОБЪЕМ
248
стр.
ИЗДАТЕЛЬ
Springer Berlin Heidelberg
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
16,2
МБ

Похожие книги

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

Michael Johnson & Dusko Pavlovic: другие книги

A SUMMARY AND ANALYSIS OF YOUR BODY REMEMBERS WHAT YOU'RE TRYING TO FORGET: A SOMATIC GUIDE TO THE EMOTIONAL ROOTS OF PHYSICAL SYMPTOMS BY T. KLEIN A SUMMARY AND ANALYSIS OF YOUR BODY REMEMBERS WHAT YOU'RE TRYING TO FORGET: A SOMATIC GUIDE TO THE EMOTIONAL ROOTS OF PHYSICAL SYMPTOMS BY T. KLEIN
A SUMMARY AND ANALYSIS OF YOUR BODY REMEMBERS WHAT YOU'RE TRYING TO FORGET: A SOMATIC GUIDE TO THE EMOTIONAL ROOTS OF PHYSICAL SYMPTOMS BY T. KLEIN
2026
Date Like You Know What You're Doing Date Like You Know What You're Doing
Date Like You Know What You're Doing
2022
The Road Less Travelled The Road Less Travelled
The Road Less Travelled
2012
Staying Pure on Campus Staying Pure on Campus
Staying Pure on Campus
2012
Correcting Treatment in Corrections Correcting Treatment in Corrections
Correcting Treatment in Corrections
2020
Banned Songs Banned Songs
Banned Songs
2025