Marie-Claude Gaudel - Böcker

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

4 produkter

Kategorier

4 produkter

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, Engelska, 1993

1 449 kr

Skickas inom 10-15 vardagar

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, Engelska, 1996

1 449 kr

Skickas inom 10-15 vardagar

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, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar