Validating RDF Data
Ulrich Koschorke
₹4,236
Author
Books by Ulrich Koschorke
Showing 1–6 of 6 books
Variable Domain-specific Software Languages with DjDSL
Ulrich Koschorke
₹4,166
Vector Fields and Other Vector Bundle Morphisms - A Singularity Approach
Ulrich Koschorke
₹2,232
Verification, Model Checking, and Abstract Interpretation
Ulrich Koschorke
₹4,345
Verified Functional Programming in Agda
Ulrich Koschorke
₹4,620
Verified Software. Theories, Tools, and Experiments
Ulrich Koschorke
₹3,791