Variable Domain-specific Software Languages with DjDSL
Ulrich Koschorke
₹4,166
Verification, Model Checking, and Abstract Interpretation
Manohar Publishers & Distributors · 1980
₹4,345
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
Verification, Model Checking, and Abstract Interpretation is written by Ulrich Koschorke. This edition from Manohar Publishers & Distributors (1980) has 240 pages.
Book details
- ISBN-13
- 9783030393229
- ISBN-10
- 3030393224
- Author
- Ulrich Koschorke
- Publisher
- Manohar Publishers & Distributors
- Published
- 1980
- Pages
- 240
- Language
- English
- Condition
- New
- Subject
- Reference
More by Ulrich Koschorke and related titles
Vector Fields and Other Vector Bundle Morphisms - A Singularity Approach
Ulrich Koschorke
₹2,232
Verified Functional Programming in Agda
Ulrich Koschorke
₹4,620
Verified Software. Theories, Tools, and Experiments
Ulrich Koschorke
₹3,791
Validating RDF Data
Ulrich Koschorke
₹4,236
Reinventing Jesus
J. Ed Komoszewski, M. James Sawyer, Daniel B. Wallace
₹2,039
Harnack's Inequality for Degenerate and Singular Parabolic Equations
Ugo Pietro Gianazza, Vincenzo Vespri, Emmanuele DiBenedetto
₹10,042
Pinwheel Designs
Wil Stegenga
₹4,027
The Little Black Dog Has Puppies
J. B. Spooner
₹1,513
The Guide to Managing Postproduction for Film, TV, and Digital Distribution
Barbara Clark, Kumari Bakhru, Dawn Higginbotham, Susan J. Spohr
₹4,073
Demonolatry Rites
Additonal Contributors, S. Connolly
₹1,482
Bioethical Issues
Barbara Katz Rothman, Rebecca Tiger
₹7,092