Language Engineering and Rigorous Software Development
Format:
ISBN13: 9783642031533
|9783642031533
Out of Stock
Overview
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.
| ISBN-13 | 9783642031533 |
|---|---|
| ISBN-10 | 3642031536 |
| List Price | $99.00 |
| Format | - |
|---|---|
| Language | English |
| Pages | 301 pages |
| Publisher | Springer |
| Published On | 2009-07-27 |
View All Offers
Sort by:
Price
