Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 6486Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: X, 238p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642177965Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Software engineering | Logic design | Artificial intelligence | Computer Science | Software Engineering | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics) | Programming TechniquesFormatos físicos adicionales: Sin títuloClasificación CDD: 005.1 Clasificación LoC:QA76.758Recursos en línea: de clik aquí para ver el libro electrónico Springer eBooksResumen: This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held inLac-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.
No hay ítems correspondientes a este registro
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held inLac-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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.