Language Engineering and Rigorous Software Development: International LerNet A.L.F.A. Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 Revised Tutorial Lectures - Couverture souple

Couverture souple

ISBN 10 : 3642031528 ISBN 13 : 9783642031526

Editeur : Springer, 2009

Synopsis

This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lopment, held in Piriap ´ olis, Uruguay, from February 25 to March 1, 2008. The aim of the schoolwasthe dissemination of advancedscienti?c knowledge in the areas of programming languages and rigorous methods for software - velopment. The school was oriented to computer science graduate students and researchers, withaninterestinformaltechniquesforthedesignandconstruction of software systems as well as programming languages. The school was organized in the context of the LERnet (Language En- neering and Rigorous Software Development) project. LERnet is a project of the ALFA programme of the European Commission for co-operation between higher education institutions of the European Union and Latin America. The institutions that participate in the LERnet project are the following: - Chalmers Tekniska H] ogskola, Sweden - Institut National de la Recherche en Informatique et Automatique (INRIA), France - Universidad de Castilla-La Mancha, Spain - Universidad Catol ´ ica de Santiago del Estero, Argentina - Universidad EAFIT, Colombia - Universidade Federal de Minas Gerais, Brazil - Universidade do Minho, Portugal - Universidad Nacional de San Luis, Argentina - Universidad Polit´ ecnica de Valencia, Spain - Universidad de la Republica ´, Uruguay - Universiteit Utrecht, The Netherlands The project oversees the mobility of PhD students from Latin America to the European Union and vice versa for a period of up to 18 months, to pursue

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2009
• Langue: anglais
• ISBN 10: 3642031528
• ISBN 13: 9783642031526
• Reliure: Broché
• Nombre de pages: 312
• Éditeur: Bove Ana
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne