Custom cover image
Custom cover image

Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 6486Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: Online-Ressource (X, 238p, digital)ISBN:
  • 9783642177965
Subject(s): Genre/Form: Additional physical formats: 9783642177958 | Buchausg. u.d.T.: Algebraic methodology and software technology. Berlin : Springer, 2011. X, 235 S.DDC classification:
  • 004
  • 005.1
MSC: MSC: *68-06 | 68N30 | 00B25RVK: RVK: SS 4800LOC classification:
  • QA76.758
DOI: DOI: 10.1007/978-3-642-17796-5Online resources: Summary: 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.PPN: PPN: 1650765495Package identifier: Produktsigel: ZDB-2-SCS | ZDB-2-LNC | ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT