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...
Πλήρης περιγραφή
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: |
SpringerLink (Online service) |
Άλλοι συγγραφείς: |
Bove, Ana
(Επιμελητής έκδοσης),
Barbosa, Luís Soares
(Επιμελητής έκδοσης),
Pardo, Alberto
(Επιμελητής έκδοσης),
Pinto, Jorge Sousa
(Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή
Ηλ. βιβλίο
|
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
Σειρά: | Lecture Notes in Computer Science,
5520
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link
|