Marie-Claude Gaudel - Böcker
Visar alla böcker från författaren Marie-Claude Gaudel.
4 produkter
4 produkter
TAPSOFT '93: Theory and Practice of Software Development
4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
Häftad, Engelska, 1993
1 439 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.
Häftad, Engelska, 1996
1 439 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
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
Häftad, Engelska, 2013
889 kr
Skickas inom 5-8 vardagar