Opening book details…
Can I read Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures on EtoBox?
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures by Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.) is a computer science book available to read on EtoBox.
What is Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures about?
<p>This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.</p>
Who reads Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2009
- Language
- EN
- ISBN
- 9781282331815
- Category
- computer science
- Subjects
- Engineering, Mathematics, Management
- Updated
- 2026-03-25
More by Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)
Similar books
- Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures — Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (2012)
- Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures — Michael Jackson (auth.), Egon Börger, Antonio Cisternino (2008)
- Software Language Engineering First International Conference; Revised Selected Papers SLE — Dragan Gasevic, Ralf Lämmel, Eric van Wyk (2009)
- Testing techniques in software engineering : second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures — Patrícia Machado, Auri Vincenzi (auth.), Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook (2010)
- Reasoning Web. Semantic Technologies for Software Engineering: 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures — Anni-Yasmin Turhan (auth.), Uwe Aßmann, Andreas Bartho, Christian Wende (2010)
- Reasoning Web: 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures (lecture Notes In Computer Science) — Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres (auth.), Cristina Baroglio, Piero A. Bonatti, Jan Małuszyński, Massimo Marchiori, Axel Polleres, Sebastian Schaffert (2008)
