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 (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 6486.Publication details: Berlin ; New York : Springer, ©2011.Description: 1 online resource (x, 235 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783642177965
- 3642177964
- 9783642177958
- 3642177956
- AMAST 2010
- Software engineering -- Congresses
- Abstract data types (Computer science) -- Congresses
- Génie logiciel -- Congrès
- Types abstraits de données (Informatique) -- Congrès
- Informatique
- Abstract data types (Computer science)
- Software engineering
- wiskunde
- mathematics
- programmeren
- programming
- computerwetenschappen
- computer sciences
- software engineering
- programmeertalen
- programming languages
- logica
- logic
- kunstmatige intelligentie
- artificial intelligence
- Information and Communication Technology (General)
- Informatie- en communicatietechnologie (algemeen)
- 005.1 22
- QA76.758 .I58 2011
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references and index.
Print version record.
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.
pt. 1. Invited paper -- pt. 2. Contributed research papers -- pt. 3. System demonstrations.