ID:DA12298828
Search authors sharing the same name
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
Springer , [Amazon] [manufacture] c2010
: pbk
Available at 1 libraries
edited by Yves Bertot ... [et al.]
Cambridge University Press 2009
Available at 3 libraries
Springer c2004 Texts in theoretical computer science An EATCS series
Available at 33 libraries
Yves Bertot ... [et al.] (eds.)
Springer c1999 Lecture notes in computer science 1690
Available at 39 libraries
