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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Pathology of the Stomach and Duodenum
$39.99
Cool Stars, Stellar Systems, and the Sun
$39.99
The Political Participation of Older People in Europe
$109.99
Role of Folliculo-luteal Function in Human Reproduction
$109.99
Stripes of All Types: Stripes of All Types
$5.96
Energy Use in Cities
$99.99
Plant Nutrition from Genetic Engineering to Field Practice
$549.99
Plant Tissue Culture: Propagation, Conservation and Crop Improvement
$329.99
Das Vlkerrecht
$59.99
Kiranmala and the Kingdom Beyond: The Serpent's Secret
$6.74
Physikalische Elektronik
$74.99
Syndromes of Hormone Resistance on the Hypothalamic-Pituitary-Thyroid Axis
$84.99
Spatial Patterns
$39.99
Operative Dermatologie im Kopf-Hals-Bereich
$69.99
The Physics of Star Formation and Early Stellar Evolution
$109.99
Non-Fungible Tokens (NFTs)
$34.99
Nerve-Driven Immunity
$219.99
Jahrbuch der Preuischen Frost- und Jagdgesetzgebung und Verwaltung
$44.99
Hepatic Transport of Organic Substances
$109.99
Development Aid and Adaptation to Climate Change in Developing Countries
$139.99
Stadtverkehr
$49.99
Photocatalysis for Energy and Environmental Applications
$129.00
Itzhak
$7.46
Susan B. Anthony
$3.71
A Philosophy of Gun Violence
$99.00
Sustainable Community Development: Dilemma of Options in Kenya
$39.99
My Books Summer Grade PreK Nonfiction 5-Book Pack
$29.95
Monitoring the Comprehensive Nuclear-Test-Ban Treaty: Seismic Event Discrimination and Identificatio
$54.99
Find Your Porpoise
$5.99
Whiteness, Power, and Resisting Change in US Higher Education
$129.99
Vermessung der Seeschiffe
$59.99
The Rhine
$169.00
China, India and the End of Development Models Indian Edition
$54.99
Principles of Eidetics
$39.99
Web Information Systems Engineering -- WISE 2014
$54.99
The Logic of the Living Present
$169.99
American Democracy
$54.99
Quantum Mechanics: Theory and Applications
$379.99
Computer Science Logic
$84.99
Competition and Regulation in Telecommunications
$84.99
