Recent Trends in Data Type Specification (English, Hartmut Ehrig | Klaus P. Jantke | Fernando Orejas)
by Hartmut Ehrig | Klaus P. Jantke | Fernando Orejas
Delivery options
₹5,571
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,571
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540544968
ISBN-10
3540544968
Author
Hartmut Ehrig | Klaus P. Jantke | Fernando Orejas
About the Book
This volume contains the proceedings of a workshop on specification of abstract data types. The main topics are modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.
ISBN: 9783540544968
ISBN-13: 9783540544968
ISBN-10: 3540544968
Frequently Asked Questions
What is the price of Recent Trends in Data Type Specification?
Recent Trends in Data Type Specification starts from ₹5571 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Recent Trends in Data Type Specification?
Hartmut Ehrig | Klaus P. Jantke | Fernando Orejas is the author of Recent Trends in Data Type Specification. Browse more books by Hartmut Ehrig | Klaus P. Jantke | Fernando Orejas on BookBajar.
Is Recent Trends in Data Type Specification available in Paperback and Hardcover?
Yes, Recent Trends in Data Type Specification is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Recent Trends in Data Type Specification?
Yes, BookBajar offers free delivery for Recent Trends in Data Type Specification across India. No minimum order value required.
Is Cash on Delivery available for Recent Trends in Data Type Specification?
Yes, Cash on Delivery (COD) is available for Recent Trends in Data Type Specification on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540544968
🛒 Customers Also Bought
Die Berechnung Von Rotierenden Scheiben Und Schalen (English, K. Löffler)
₹4,181
Stoßspannungs-Meßtechnik (English, A. M. Asner)
₹3,284
Hochbaukonstruktionen (English, Gerhard Leder)
₹4,509
Hydrostatisches Fließpressen (English, Jobst-H Kerspe)
₹4,188
Auffällige Knaben (English, S. Neupert | G. Vogl)
₹4,190
Technik Der Wissenschaftlichen Kinematographie (English, J. Rieck | Institut Für Den Wissenschaftlichen Film)
₹6,007Related Products
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211
Introduction to Dynamics of Structures and Earthquake Engineering- (45) (English, Cimellaro)
₹5,572
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Analysis III (English, Godement)
₹2,495