Claude Marche - Böcker

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

2 produkter

Kategorier

2 produkter

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 Marche m. fl.

Häftad, Engelska, 2001

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar