Certified Programs and Proofs
Jean-Pierre Jouannaud, Zhong Shao
₹5,583
Author
Books by Jean-Pierre Jouannaud
Showing 1–4 of 4 books
Constraints in Computational Logics
Jean-Pierre Jouannaud
₹5,569
Functional Programming Languages and Computer Architecture
Jean-Pierre Jouannaud
₹5,584
Rewriting Techniques and Applications
Jean-Pierre Jouannaud
₹4,528