लेखक: Helene Kirchner

समर्थन

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.77
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.78