Claude Marche – författare
Visar alla böcker från författaren Claude Marche.
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, 2001
739 kr
Lägg i varukorg
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, 2011
739 kr
Lägg i varukorg