Certified Programs and Proofs
Jean-Pierre Jouannaud, Zhong Shao
₹5,583
Functional Programming Languages and Computer Architecture
Proceedings, Nancy, France, September 16-19, 1985
₹5,584
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
Functional Programming Languages and Computer Architecture is a carefully curated title by Jean-Pierre Jouannaud , published by Springer .
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540159759
- ISBN-10
- 3540159754
- Author
- Jean-Pierre Jouannaud
- Publisher
- Springer
- Condition
- New
- Subject
- Programming
More by Jean-Pierre Jouannaud and related titles
Rewriting Techniques and Applications
Jean-Pierre Jouannaud
₹4,528
Constraints in Computational Logics
Jean-Pierre Jouannaud
₹5,569
Logic in Databases
Dino Pedreschi, Carlo Zaniolo
₹5,631
Advanced Research on Computer Science and Information Engineering
Gang Shen, Xiong Huang
₹4,572
Python All-In-One for Dummies
John C. Shovic
₹2,529
Algorithm Theory - Swat '92
Otto Nurmi, Esko Ukkonen
₹5,596
Algebraic and Logic Programming
Michael Hanus, Jan Heering, Karl Meinke
₹5,631
Programming Languages and Systems
Atsushi Ohori
₹5,749
Unifying Theories of Programming
Andrew Butterfield
₹5,525
Essentials of Logic Programming
Christopher John Hogger
₹4,838
Agent-Oriented Software Engineering XI
Danny Weyns, Marie-Pierre Gleizes
₹5,505