Variable Domain-specific Software Languages with DjDSL
Ulrich Koschorke
₹4,166
Verified Functional Programming in Agda
Manohar Publishers & Distributors · 1980
₹4,620
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Manohar Publishers & Distributors in 1980, Verified Functional Programming in Agda by Ulrich Koschorke runs to 240 pages.
Topics covered include Functional programming (computer science).
Book details
- ISBN-13
- 9781970001259
- ISBN-10
- 1970001259
- Author
- Ulrich Koschorke
- Publisher
- Manohar Publishers & Distributors
- Published
- 1980
- Pages
- 240
- Language
- English
- Condition
- New
- Subject
- Reference
More by Ulrich Koschorke and related titles
Verified Software. Theories, Tools, and Experiments
Ulrich Koschorke
₹3,791
Validating RDF Data
Ulrich Koschorke
₹4,236
Vector Fields and Other Vector Bundle Morphisms - A Singularity Approach
Ulrich Koschorke
₹2,232
Verification, Model Checking, and Abstract Interpretation
Ulrich Koschorke
₹4,345
Nuclear Thermal Hydraulics
Hajime Akimoto, Yoshinari Anoda, Kazuyuki Takase, Hiroyuki Yoshida, Hidesada Tamai
₹3,141
Lifespan Development of Human Memory
Peter Graf
₹1,628
Thomas Hardy and Victorian Communication
Karin Koehler
₹4,049
Gladiator Fight for Freedom
Simon Scarrow
₹1,968
Night Lights (Dr. Seuss/Cat in the Hat) (Glow-in-the-Dark Pictureback) (Pictureback(R))
Tish Rabe
₹2,092
The American Dream in the 21st Century
Sandra L. Hanson, John Kenneth White
₹2,866
The Science of Dream Interpretation
Frederick L. Coolidge
₹5,930