Hoppa till sidans huvudinnehåll

Marie-Claude Gaudel – författare

Visar alla böcker från författaren Marie-Claude Gaudel.
4 produkter
Marie-Claude Gaudel, Jean-Pierre Jouannaud - TAPSOFT '93: Theory and Practice of Software Development, Häftad

TAPSOFT '93: Theory and Practice of Software Development

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

AvMarie-Claude Gaudel,Jean-Pierre Jouannaud

Häftad, Engelska, 1993

1 459 kr

Skickas inom 10-15 vardagar

Marie-Claude Gaudel, James Woodcock - FME '96: Industrial Benefit and Advances in Formal Methods, Häftad

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.

AvMarie-Claude Gaudel,James Woodcock

Häftad, Engelska, 1996

1 459 kr

Skickas inom 10-15 vardagar

Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock - Theoretical Aspects of Computing, Häftad

Theoretical Aspects of Computing

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

AvAna Cavalcanti,David Deharbem. fl.

Häftad, Engelska, 2010

739 kr

Skickas inom 10-15 vardagar

Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi - Unifying Theories of Programming, Häftad

Unifying Theories of Programming

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

AvBurkhard Wolff,Marie-Claude Gaudelm. fl.

Häftad, Engelska, 2013

679 kr

Skickas inom 10-15 vardagar