ID:DA12298828
同姓同名の著者を検索
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
Springer , [Amazon] c2010
: pbk
所蔵館1館
edited by Yves Bertot ... [et al.]
Cambridge University Press 2009
所蔵館3館
Springer c2004 Texts in theoretical computer science An EATCS series
所蔵館34館
Yves Bertot ... [et al.] (eds.)
Springer c1999 Lecture notes in computer science 1690
所蔵館39館