3 Електронні книги від 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, R’e …
PDF
Англійська
DRM
€57.60
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 generatio …
PDF
Англійська
DRM
€57.59