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...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2009]
|
| Series: | Lecture notes in computer science. Tutorial.
Lecture notes in computer science ; 5520. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Lehigh
| Call Number: |
Electronic book |
|---|