Language Engineering and Rigorous Software Development
Download or Read eBook Language Engineering and Rigorous Software Development PDF written by Ana Bove and published by Springer Science & Business Media. This book was released on 2009-07-27 with total page 301 pages. Available in PDF, EPUB and Kindle.
| Author | : Ana Bove |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 301 |
| Release | : 2009-07-27 |
| ISBN-10 | : 9783642031533 |
| ISBN-13 | : 3642031536 |
| Rating | : 4/5 (33 Downloads) |
Book Synopsis Language Engineering and Rigorous Software Development by : Ana Bove
Book excerpt: 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.
