TY  - BOOK
AU  - Johnson,Michael
AU  - Pavlović,Dusko
ED  - International Conference on Algebraic Methodology and Software Technology
TI  - Algebraic methodology and software technology: 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers 
T2  - Lecture notes in computer science,
SN  - 9783642177965
AV  - QA76.758 .I58 2011
U1  - 005.1 22
PY  - 2011///
CY  - Berlin, New York
PB  - Springer
KW  - Software engineering
KW  - Congresses
KW  - Abstract data types (Computer science)
KW  - Génie logiciel
KW  - Congrès
KW  - Types abstraits de données (Informatique)
KW  - Informatique
KW  - eclas
KW  - fast
KW  - wiskunde
KW  - mathematics
KW  - programmeren
KW  - programming
KW  - computerwetenschappen
KW  - computer sciences
KW  - software engineering
KW  - programmeertalen
KW  - programming languages
KW  - logica
KW  - logic
KW  - kunstmatige intelligentie
KW  - artificial intelligence
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references and index; pt. 1. Invited paper -- pt. 2. Contributed research papers -- pt. 3. System demonstrations
N2  - 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
UR  - https://link.springer.com/10.1007/978-3-642-17796-5
ER  -