Marie-Claude Gaudel – författare
Visar alla böcker från författaren Marie-Claude Gaudel. Handla med fri frakt och snabb leverans.
6 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, 1993
1128 kr
Lägg i varukorg
This volume contains the proceedings of the fourthInternational Joint Conference on the Theory and Practice ofSoftware Development, TAPSOFT '93. Since the first in 1985,the aim of these conferences has been to bring togethertheoretical computer scientists and researchers in softwareengineering with …
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
1128 kr
Lägg i varukorg
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons …
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
568 kr
Lägg i varukorg
The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main …
Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Av Jim Woodcock, Marie-Claude Gaudel m. fl.
E-bok, 2010
732 kr
Lägg i varukorg
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
523 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 …
Unifying Theories of Programming
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Av Abderrahmane Feliachi, Marie-Claude Gaudel m. fl.
E-bok, 2013
705 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 …
