ID:DA15686594
Castéran, Pierre
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
Springer c2004 Texts in theoretical computer science An EATCS series
Available at 34 libraries