Verified Software. Theories, Tools, and Experiments
Ulrich Koschorke
₹3,791
Variable Domain-specific Software Languages with DjDSL
Manohar Publishers & Distributors · 1980
₹4,166
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
Variable Domain-specific Software Languages with DjDSL is written by Ulrich Koschorke. This edition from Manohar Publishers & Distributors (1980) has 240 pages.
Book details
- ISBN-13
- 9783030421526
- ISBN-10
- 303042152X
- Author
- Ulrich Koschorke
- Publisher
- Manohar Publishers & Distributors
- Published
- 1980
- Pages
- 240
- Language
- English
- Condition
- New
- Subject
- Reference
More by Ulrich Koschorke and related titles
Verification, Model Checking, and Abstract Interpretation
Ulrich Koschorke
₹4,345
Verified Functional Programming in Agda
Ulrich Koschorke
₹4,620
Validating RDF Data
Ulrich Koschorke
₹4,236
Vector Fields and Other Vector Bundle Morphisms - A Singularity Approach
Ulrich Koschorke
₹2,232
Statistical Analysis in Climate Research
Francis W. Zwiers, Hans von Storch
₹11,640
Old Edition - Saunders Nursing Drug Handbook 2021
Robert J. Kizior BS RPh, Keith Hodgson RN BSN CCRN
₹3,804
King of Fish
David Montgomery
₹1,744
The Psychology Major's Handbook
Tara L. Kuther
₹2,837
The Worst Witch All at Sea
Jill Murphy
₹3,433
Who Fears Death
Nnedi Okorafor
₹2,688
Pay Variation in Family Firms
Jörg Schäfer
₹4,569