Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Gibbons, Jeremy

Gibbons, Jeremy (Имя лица)

Number of records used in: 3
Preferred form: Gibbons, Jeremy

Machine generated authority record.

Work cat.: (RU-ToGU): Davies, Jim. 329213, Integrated Formal Methods, 2007.