Language Engineering and Rigorous Software Development
| Author | : Ana Bove |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 301 |
| Release | : 2009-07-27 |
| ISBN-10 | : 9783642031533 |
| ISBN-13 | : 3642031536 |
| Rating | : 4/5 (536 Downloads) |
Book Synopsis Language Engineering and Rigorous Software Development by : Ana Bove
Download or read book Language Engineering and Rigorous Software Development 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. 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.
