【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Gaudel, M.-C. (Marie-Claude)

ID:DA07263143

Alias Name: Gaudel, Marie-Claude

Search authors sharing the same name

Search Results1-3 of 3

1

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

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 , International Federation for Information Processing [2000] 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China

: China : pbk , : IFIP : pbk
2

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

Marie-Claude Gaudel, James Woodcock, (eds.)

Springer-Verlag c1996 Lecture notes in computer science 1051

Available at 51 libraries
3

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.)

Springer-Verlag c1993 Lecture notes in computer science 668

: gw , : us

Available at 61 libraries

Search this author

Related Authors