Hubert Comon - Böcker

Visar alla böcker från författaren Hubert Comon.
4 produkter
Hubert Comon, Claude Marche, Ralf Treinen - Constraints in Computational Logics: Theory and Applications, Häftad
Del 2002 - Lecture Notes in Computer Science

Constraints in Computational Logics: Theory and Applications

Av Hubert Comon, Claude Marche, Ralf Treinen

Häftad, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar
Gerard Berry, Hubert Comon, Alain Finkel - Computer Aided Verification, Häftad
Del 2102 - Lecture Notes in Computer Science

Computer Aided Verification

Av Gerard Berry, Hubert Comon, Alain Finkel

Häftad, Engelska, 2001

1 459 kr

Skickas inom 7-10 vardagar
Hubert Comon, Jean-Pierre Jouannaud - Term Rewriting, Häftad
Del 909 - Lecture Notes in Computer Science

Term Rewriting

Av Hubert Comon, Jean-Pierre Jouannaud

Häftad, Engelska, 1995

739 kr

Skickas inom 7-10 vardagar
Hubert Comon - Rewriting Techniques and Applications, Häftad
Del 1232 - Lecture Notes in Computer Science

Rewriting Techniques and Applications

Av Hubert Comon

Häftad, Engelska, 1997

739 kr

Skickas inom 7-10 vardagar