Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Language Engineering and Rigorous Software Development
Best Price (Coupon Required):
Buy Language Engineering and Rigorous Software Development for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
The Theory of the Top. Volume IV
$84.99
Allgemeine Therapie
$59.99
Mechanismen und Einzigartigkeit von Acceleratoren
$74.99
FluSHELL A Tool for Thermal Modelling and Simulation of Windings for Shell-Type Power Transf
$109.99
Magento 2 DIY
$19.99
Nutrition and Immunology
$84.99
Bauwirtschaft
$54.99
Public Sector Accounting and Auditing in Europe
$129.99
Know Better, Do Better: Comprehension (30-copy pack)
$809.70
The India-Pakistan Military Standoff
$54.99
Informationsmanagement fr NPO's, NGO's et al
$39.99
Process Metaphysics and Mutative Life
$54.99
Verdampfen, Kondensieren und Khlen
$84.99
Kolmogorov's Heritage in Mathematics
$109.99
Creole Cultures, Vol. 1
$129.99
US Foreign Policy Decision-Making from Truman to Kennedy
$39.99
Proceedings of International Conference on Artificial Intelligence and Communication Technologies (I
$249.99
Trinidad and Tobago
$109.99
Endocrine Neoplasms
$329.99
Advances in Enterprise Engineering I
$39.99
Digital Cities III. Information Technologies for Social Capital: Cross-cultural Perspectives
$54.99
Engineering Asset Management and Infrastructure Sustainability
$99.00
Advances in Intelligent Networking and Collaborative Systems
$219.99
A Compendium of Italian Economists at Oxbridge
$109.99
The Impact of the Economic Crisis on South European Democracies
$59.99
VHDL Designers Reference
$169.00
Micromanufacturing and Nanotechnology
$129.00
Mathematische Lernspiele als diagnostisches Instrument
$84.99
Microcomputer Software for Civil Engineers
$39.99
Mglichkeiten zur Ausgestaltung der deutschen amtlichen Statistik unter dem Aspekt einer quantitativ
$59.99
Holocaust Scholarship
$89.00
Geophysical Data Inversion Methods and Applications
$84.99
Bioenergy from Sustainable Forestry
$129.00
Mixed-Mode Chromatography
$179.99
Boards and Spreads: Shareable, Simple Arrangements for Every Meal by Yasmin Fahr
$24.00
Security Education and Critical Infrastructures
$109.99
Anatomie des Menschen ein Lehrbuch fr Studierende und rte
$69.95
Bilingual Education and Minority Language Maintenance in China
$54.99
Advances in Urban Geotechnical Engineering
$129.00
Insights from Comparative Hearing Research
$169.99
