3 Ebooks von Helene Kirchner
Helene Kirchner & Christophe Ringeissen: Algebraic Methodology and Software Technology
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in Saint-Gilles-les-Bains, …
PDF
Englisch
DRM
€57.04
Hubert Comon-Lundh & Claude Kirchner: Rewriting, Computation and Proof
Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the …
PDF
Englisch
DRM
€57.19
