Jump to main content

yr 〜
yr

Search results 5

Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)

Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)
Paper図書
Springerc2013.<M17-13-1622>
National Diet Library
  • Author Heading...urkhart, 1962- Gaudel, M.-C. (Marie-Claude) Feliachi, Abderrahmane. Unive...

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.). (Lecture notes in computer science)

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8718>
National Diet Library
  • Author Heading...Orsay, France) Gaudel, M.-C. (Marie-Claude) Jouannaud, Jean-Pierre. Collo...

Proceedings of Conference on Software : theory and practice : August 21-25, 2000, Beijing, China : China : pbk : IFIP : pbk

Proceedings of Conference on Software : theory and practice : August 21-25, 2000, Beijing, China : China : pbk : IFIP : pbk
Paper図書
edited by Yulin Feng, David Notkin, Marie-Claude Gaudel ; [Hosted by Chinese Institute of Electronics, China Computer Federation, Chinese Institute of Communications ; in cooperation with IEEE Computer Society]Publishing House of Electronics Industry[2000]
Other Libraries in Japan
  • Author Heading... Notkin, David Gaudel, M.-C. (Marie-Claude) IFIP World Computer Congress

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

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
Paper図書
Marie-Claude Gaudel, James Woodcock, (eds.)Springer-Verlagc1996
Other Libraries in Japan
  • Author HeadingInternational Symposium of Formal Methods Europe Gaudel, M.-C. (Marie-Claude) Woodcock, James

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings : gw : us

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings : gw : us
Paper図書
M.-C. Gaudel, J.-P. Jouannaud (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author Heading...re Development Gaudel, M.-C. (Marie-Claude) Jouannaud, Jean-Pierre Colloq...

Reached to the end of result.

RSS