Algebraic and Algorithmic Aspects of Differential and Integral Operators
Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz
₹3,781
Types in Compilation
Third International Workshop
Springer · 2001 · Paperback
₹5,562
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 Springer in 2001, Types in Compilation: Third International Workshop by Robert Harper runs to 206 pages in paperback.
Topics covered include Compiling (Electronic computers), Congresses, Computer science and Logic design.
Book details
- ISBN-13
- 9783540421962
- ISBN-10
- 3540421963
- Author
- Robert Harper
- Publisher
- Springer
- Published
- 2001
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 206
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Stacs 93
Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
₹4,216
Computer Aided Verification
Gregor Von Bochmann, David K. Probst
₹5,657
Perspectives of Systems Informatics
Amir Pnueli
₹4,264
Fundamental Approaches to Software Engineering
Vittorio Cortellessa, Dániel Varró
₹3,961
Advances in Computing Science - Asian'99
P. S. Thiagarajan, Roland Yap
₹5,581
Foundations of Software Technology and Theoretical Computer Science
P. S. Thiagarajan
₹5,608
Verification, Model Checking, and Abstract Interpretation
VMCAI 2010 (2010 Madrid, Spain)
₹4,285
Fundamentals of Artificial Intelligence
Wolfgang Bibel, A. W. Biermann
₹5,536
Fundamental Approaches to Software Engineering
David S. Rosenblum
₹5,774
Principles and Practice of Constraint Programming - CP 2010
David Cohen
₹4,299
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog
₹5,618