Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

    • 69,99 US$
    • 69,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2011
14 tháng 1
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
248
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
16,2
Mb
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
2008
Interactive Theorem Proving Interactive Theorem Proving
2010
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
2010
Semantics and Algebraic Specification Semantics and Algebraic Specification
2009
Programming Languages and Systems Programming Languages and Systems
2011
The Road Less Travelled The Road Less Travelled
2012
Staying Pure on Campus Staying Pure on Campus
2012
Date Like You Know What You're Doing Date Like You Know What You're Doing
2022
Correcting Treatment in Corrections Correcting Treatment in Corrections
2020
Banned Songs Banned Songs
2025
Water Supply Water Supply
2009