Language Engineering and Rigorous Software Development - International LERNET ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - Paperback - 2009
Resumo
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.
Year of publication: 2009
Pagination: 301 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Programming and Software Engineering
Year of publication: 2009
Pagination: 301 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Programming and Software Engineering
Language Engineering and Rigorous Software Development -...
Resumo
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.
Year of publication: 2009
Pagination: 301 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Programming and Software Engineering
Year of publication: 2009
Pagination: 301 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Programming and Software Engineering
Publicidade
Avaliações dos nossos clientes
Language Engineering and Rigorous Software Development - International LERNET ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - Paperback - 2009
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Dimensão
-
235 x 155 x 15
- Peso
-
480
- Tema
-
3D graphics & modelling|Maintenance & repairs|Programming & scripting languages: general|Software Engineering
- Origem
-
Germany
- EAN
-
9783642031526
Publicidade
Publicidade