Copied Language Engineering and Rigorous Software Development
Language Engineering and Rigorous Software Development
This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008. The volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume. Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Collaborative Systems for Production Management
$219.99
Tumor Microenvironments in Organs
$299.99
Froggy Books: Froggy va a la escuela
$5.24
Wissenschaftliches Arbeiten im Wirtschaftsinformatik-Studium
$19.99
Sapo de otro pozo
$5.21
Chirurgenverzeichnis
$59.99
Deutsches Leben zur Zeit der schsischen Kaiser
$39.99
Malerfachkunde
$54.99
Reinforced Concrete: Basic Theory and Standards
$54.99
Integrative and Functional Medical Nutrition Therapy
$159.99
Education and Gendered Citizenship in Pakistan
$39.99
Spirits and Spirituality in Victorian Fiction
$84.99
Applications of Stem Cells and derived Exosomes in Neurodegenerative Disorders
$199.99
A Guide to VHDL
$109.99
Dependable Computing
$39.99
Electronic Government
$39.99
Arbeitsbuch zur deskriptiven und induktiven Statistik
$29.99
Modellierung der Welt
$59.99
Game Development with Unreal Engine 5 Volume 1
$64.99
Advanced Multimedia and Ubiquitous Engineering
$129.00
Levodopa-Induced Dyskinesia in Parkinson's Disease
$169.99
Asymptotics for Associated Random Variables
$54.99
Das Kleine Drosophila-Praktikum
$59.99
Naturalism and Philosophical Anthropology
$54.99
Property Tax Reform in Developing Countries
$129.00
A Comparative History of Commerce and Industry, Volume I
$109.99
Earth Satellites
$19.50
Mechanical Effects of Welding
$129.00
Geschichte des Deutschen Verbrennungsmotorenbaues
$44.99
Leadership Wholeness, Volume 1
$169.99
Stem Cell Renewal and Cell-Cell Communication
$109.99
Die Lebensstilgesellschaft
$39.99
Henry and Mudge: Henry and Mudge in the Sparkle Days
$3.71
Generationenmanagement in Unternehmen
$64.99
Epidemiological Practices in Research on Effects
$109.99
Revisiting and Revising the Fifties in Contemporary US Popular Culture
$39.99
Sinterung von Filterkuchen aus Eisenerz- bzw. Konzentratschlamm
$59.99
Natural Hazards GIS-Based Spatial Modeling Using Data Mining Techniques
$139.99
Cochlear Implant heute
$89.99
Atlas der Regionalansthesie
$54.99
