Certified Programs and ProofsJean-Pierre Jouannaud
Certified Programs and Proofs
Jean-Pierre Jouannaud, Zhong Shao · 2011
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2011
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783642253799
Data source: Wikidata
More by Jean-Pierre Jouannaud
Conditional Term Rewriting SystemsJean-Pierre Jouannaud

Conditional Term Rewriting Systems
Jean-Pierre Jouannaud · 2007
Functional Programming Languages and Computer ArchitectureJean-Pierre Jouannaud

Functional Programming Languages and Computer Architecture
Jean-Pierre Jouannaud · 1986
Rewriting Techniques and ApplicationsJean-Pierre Jouannaud

Rewriting Techniques and Applications
Jean-Pierre Jouannaud · 1985