Tell your friends about this item:
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 - Lecture Notes in Computer Science
Jean-pierre Jouannaud
Price
SEK 429
excl. VAT
Ordered from remote warehouse
Expected delivery Oct 10 - 22
Our customers say:
Add to your iMusic wish list
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 - Lecture Notes in Computer Science
Jean-pierre Jouannaud
First International Conference on Rewriting Techniques and Applications
444 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 1, 1985 |
| ISBN13 | 9783540159766 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 444 |
| Dimensions | 156 × 234 × 23 mm · 625 g |
| Language | German |
| Editor | Jouannaud, Jean-pierre |
![Cover for Jean-pierre Jouannaud · Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/782/9783642253782.jpg?jean-pierre-jouannaud-2011-certified-programs-and-proofs-first-international-conference-cpp-2011-kenting-taiwan-december-7-9-2011-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1609789088)
