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

Corporate Authors: LerNet ALFA Summer School Piriapolis, Uruguay)
Other Authors: LerNet ALFA Summer School, Bove, Ana., SpringerLink (Online service)
Format: eBook
Language: English
Published: Berlin ; New York : Springer, ©2009.
Berlin ; New York : [2009]
Physical Description: 1 online resource (vi, 300 pages) : illustrations.
Series: Lecture notes in computer science. Tutorial.
Lecture notes in computer science ; 5520.
LNCS sublibrary. Programming and software engineering.
Subjects:

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available