Claude Marche – författare

Visar alla böcker från författaren Claude Marche.

2 produkter

Kategorier

2 produkter

Hubert Comon, Claude Marche, Ralf Treinen - Constraints in Computational Logics: Theory and Applications, Häftad

Constraints in Computational Logics: Theory and Applications

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

AvHubert Comon,Claude Marchem. fl.

Häftad, Engelska, 2001

739 kr

Skickas inom 10-15 vardagar

Bernhard Beckert, Claude Marché - Formal Verification of Object-Oriented Software, Häftad

Formal Verification of Object-Oriented Software

International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

AvBernhard Beckert,Claude Marché

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar