Marie-Claude Gaudel – författare

Visar alla böcker från författaren Marie-Claude Gaudel.

4 produkter

1. 

   TAPSOFT '93: Theory and Practice of Software Development

   4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings

   Av Marie-Claude Gaudel, Jean-Pierre Jouannaud

   Häftad, 1993

   1469 kr

   Lägg i varukorg

2. 

   FME '96: Industrial Benefit and Advances in Formal Methods

   Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.

   Av Marie-Claude Gaudel, James Woodcock

   Häftad, 1996

   1469 kr

   Lägg i varukorg

3. 

   Theoretical Aspects of Computing

   7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

   Av Ana Cavalcanti, David Deharbe m. fl.

   Häftad, 2010

   739 kr

   Lägg i varukorg

4. 

   Unifying Theories of Programming

   4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

   Av Burkhard Wolff, Marie-Claude Gaudel m. fl.

   Häftad, 2013

   679 kr

   Lägg i varukorg