Marie-Claude Gaudel – författare

Visar alla böcker från författaren .

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
AvMarie-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.
AvMarie-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
AvAna Cavalcanti,David Deharbem. 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
AvBurkhard Wolff,Marie-Claude Gaudelm. fl.
Häftad, Engelska, 2013
669 kr
Skickas inom 10-15 vardagar