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

Av Hubert Comon, Claude Marche m. fl

Häftad, Engelska, 2001

729 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

Av Bernhard Beckert, Claude Marché

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar