Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008, Revised Tutorial Lectures
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008, Revised Tutorial Lectures
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.
Read More
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.
Read Less
Add this copy of Language Engineering and Rigorous Software Develop to cart. $46.72, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2009 by Springer.
Add this copy of Language Engineering and Rigorous Software Development: to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2009 by Springer.
Add this copy of Language Engineering and Rigorous Software Develop to cart. $63.62, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2009 by Springer.
Add this copy of Language Engineering and Rigorous Software Develop to cart. $63.86, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2009 by Springer.
