کتاب های Hubert Comon Lundh
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.), 2009
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.), 2009
Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings
Hubert Comon-Lundh (auth.), Igor Walukiewicz (eds.), 2004
Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings
Hubert Comon-Lundh (auth.), Igor Walukiewicz (eds.), 2004
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), 2007
