Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

Michael Johnson; Dusko Pavlovic

doi:10.1007/978-3-642-17796-5

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

Michael Johnson (Editor)
, Dusko Pavlovic (Editor)

Research output: Book/Report › Book editing › Academic

354 Downloads (Pure)

Original language	English
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Number of pages	235
ISBN (Electronic)	978-3-642-17796-5
ISBN (Print)	978-3-642-17795-8
DOIs	https://doi.org/10.1007/978-3-642-17796-5
Publication status	Published - Jan 2011
Event	13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010 - Lac-Beauport, Canada Duration: 23 Jun 2010 → 25 Jun 2010 Conference number: 13

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	6486
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Software Technology
Methodology
Algebraic
Computer algebra
Constraint programming
Correctness
Formal languages
Formal methods
Functional programming
Logic programming
Requirements engineering
Software architecture
Software engineering
Software portability
Software validation
Software verification
Theorem proving
Web programming

Access to Document

10.1007/978-3-642-17796-5

LNCS6486_front-matterFinal published version, 193 KB

Cite this

@book{eda2d766adf3417497e5951a87c22b07,

title = "Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers",

keywords = "Software Technology, Methodology, Algebraic, Computer algebra, Constraint programming, Correctness, Formal languages, Formal methods, Functional programming, Logic programming, Requirements engineering, Software architecture, Software engineering, Software portability, Software validation, Software verification, Theorem proving, Web programming",

editor = "Michael Johnson and Dusko Pavlovic",

year = "2011",

month = jan,

doi = "10.1007/978-3-642-17796-5",

language = "English",

isbn = "978-3-642-17795-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

note = "13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, AMAST ; Conference date: 23-06-2010 Through 25-06-2010",

}

TY - BOOK

T1 - Algebraic Methodology and Software Technology

T2 - 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010

A2 - Johnson, Michael

A2 - Pavlovic, Dusko

N1 - Conference code: 13

PY - 2011/1

Y1 - 2011/1

KW - Software Technology

KW - Methodology

KW - Algebraic

KW - Computer algebra

KW - Constraint programming

KW - Correctness

KW - Formal languages

KW - Formal methods

KW - Functional programming

KW - Logic programming

KW - Requirements engineering

KW - Software architecture

KW - Software engineering

KW - Software portability

KW - Software validation

KW - Software verification

KW - Theorem proving

KW - Web programming

U2 - 10.1007/978-3-642-17796-5

DO - 10.1007/978-3-642-17796-5

M3 - Book editing

SN - 978-3-642-17795-8

T3 - Lecture Notes in Computer Science

BT - Algebraic Methodology and Software Technology

PB - Springer

CY - Berlin, Heidelberg

Y2 - 23 June 2010 through 25 June 2010

ER -