Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008. The volume presents three courses on type theory: an introductory tut...

Full description

Saved in:
Corporate Author: SpringerLink (online služba)
Other Authors: Bove, Ana (Editor), Barbosa, Luís Soares (Editor), Pardo, Alberto (Editor), Pinto, Jorge Sousa (Editor)
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2009
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-642-03153-3
9783642031526
Subjects:
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Get full text
Status Sublibrary Description Location LCC Callnumber Old Callnumber