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:
Buy Language Engineering and Rigorous Software Development for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
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
Agatha Christie: Power and Illusion
$115.00
Global Diversity and Ecological Function of Parasites of Euphausiids
$169.99
Kunstwerke chemisch betrachtet
$69.99
Chineseness in Chile
$89.00
The Last Kids on Earth: The Last Kids on Earth and the Forbidden Fortress (Hardcover)
$11.24
Multiplitism
$64.99
Privatization and Culture
$169.99
Korea: The War before Vietnam
$109.99
Comparative Metric Semantics of Programming Languages
$109.99
Brazils Emerging Role in Global Governance
$39.99
Introduction to Software Design with Java
$39.99
Multilevel Optimization in VLSICAD
$169.99
Cell'Cell Interactions
$84.99
Dynamics and Control of Lorentz-Augmented Spacecraft Relative Motion
$39.99
Challenges in Analytical Quality Assurance
$84.99
The Global Rule of Three
$24.99
Morbus Dupuytren
$17.99
Vorlesungen ber Funktionelle Pathologie und Therapie der Nierenkrankheiten
$59.99
Microcomputer
$39.99
I Survived: I Survived the Wellington Avalanche, 1910
$4.49
A Theory of Forced Labour Migration
$109.99
Who Would Win?: Hammerhead vs. Bull Shark
$2.99
Distributed Artificial Intelligence: Theory and Praxis
$169.99
Smart Economy in Smart Cities
$329.99
Prferenzanalyse fr Dienstleistungsinnovationen mittels multimedialgesttzter Conjointanalyse
$74.99
Color Atlas of Surgical Anatomy for Esophageal Cancer
$84.99
Verhandlungen der Deutschen Gesellschaft fr Unfallheilkunde Versicherungs-, Versorgungs- und Verkeh
$59.99
Beyond the Postcolonial
$39.99
Statistik fr Betriebswirte
$59.99
The Engineering Design Challenge
$19.99
Selberg Zeta Functions and Transfer Operators
$69.99
3D Printing and Bio-Based Materials in Global Health
$59.99
International Perspectives on Academic Assessment
$84.99
Reliable Design of Electronic Equipment
$109.99
The Political Economy of South Asian Diaspora
$84.99
Phosphorus-31 NMR Spectroscopy
$59.99
Wettrennen der Regionen nach Brssel
$39.99
Control, Identification, and Input Optimization
$39.99
Performance Tuning and Optimizing ASP.NET Applications
$44.99
Advances in Molecular Oncology
$169.00
