Bokus

Hubert Comon – författare

Visar alla böcker från författaren Hubert Comon. Handla med fri frakt och snabb leverans.

6 produkter

  1. Hubert Comon, Claude Marche, Ralf Treinen - Constraints in Computational Logics: Theory and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Constraints in Computational Logics: Theory and Applications

    International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

    Av Hubert Comon, Claude Marche m. fl.

    Häftad, 2001

    567 kr

    Lägg i varukorg

    Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in …

  2. Gerard Berry, Hubert Comon, Alain Finkel - Computer Aided Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

    Av Gerard Berry, Hubert Comon m. fl.

    Häftad, 2001

    1128 kr

    Lägg i varukorg

    This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in a series of conferences dedicated to the advan- ment of the theory and practice of computer-assisted formal analysis …

  3. Alain Finkel, Hubert Comon, Gerard Berry - Computer Aided Verification, E-bok. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

    Av Alain Finkel, Hubert Comon m. fl.

    E-bok, 2003

    1470 kr

    Lägg i varukorg

  4. Ralf Treinen, Claude Marche, Hubert Comon - Constraints in Computational Logics: Theory and Applications, E-bok. Tillgänglighet: Lägg i varukorg

    Constraints in Computational Logics: Theory and Applications

    International Summer School, CCL''99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

    Av Ralf Treinen, Claude Marche m. fl.

    E-bok, 2003

    755 kr

    Lägg i varukorg

    Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in …

  5. Hubert Comon, Jean-Pierre Jouannaud - Term Rewriting, Häftad. Tillgänglighet: Lägg i varukorg

    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

    567 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 …

  6. Hubert Comon - Rewriting Techniques and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Rewriting Techniques and Applications

    8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

    Av Hubert Comon

    Häftad, 1997

    567 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited …