Jean-Pierre Jouannaud – författare
Visar alla böcker från författaren Jean-Pierre Jouannaud. Handla med fri frakt och snabb leverans.
10 produkter
Functional Programming Languages and Computer Architecture
Proceedings, Nancy, France, September 16-19, 1985
Häftad, 1985
569 kr
Lägg i varukorg
Rewriting Techniques and Applications
Dijon, France, May 20-22, 1985
Häftad, 1985
457 kr
Lägg i varukorg
First International Conference on Rewriting Techniques and Applications
Conditional Term Rewriting Systems
1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Av Stephane Kaplan, Jean-Pierre Jouannaud
Häftad, 1988
569 kr
Lägg i varukorg
The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actually known important breakthroughs during the last two years; it was the …
Algebra, Meaning, and Computation
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Av Kokichi Futatsugi, Jean-Pierre Jouannaud m. fl.
Häftad, 2006
1098 kr
Lägg i varukorg
Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, …
Algebra, Meaning, and Computation
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Av Jose Meseguer, Jean-Pierre Jouannaud m. fl.
E-bok, 2006
1470 kr
Lägg i varukorg
Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, …
TAPSOFT '93: Theory and Practice of Software Development
4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
Av Marie-Claude Gaudel, Jean-Pierre Jouannaud
Häftad, 1993
1131 kr
Lägg i varukorg
This volume contains the proceedings of the fourthInternational Joint Conference on the Theory and Practice ofSoftware Development, TAPSOFT '93. Since the first in 1985,the aim of these conferences has been to bring togethertheoretical computer scientists and researchers in softwareengineering with …
Constraints in Computational Logics
First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
Häftad, 1994
552 kr
Lägg i varukorg
This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book contains revised versions of the 21 …
Term Rewriting
French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Av Hubert Comon, Jean-Pierre Jouannaud
Häftad, 1995
569 kr
Lägg i varukorg
This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993.This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many …
Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Av Jean-Pierre Jouannaud, Zhong Shao
Häftad, 2011
569 kr
Lägg i varukorg
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. …
Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Av Zhong Shao, Jean-Pierre Jouannaud
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. …
