Ovi Bookstore
0

TYPES FOR PROOFS AND PROGRAMS: INTERNATIONAL WORKSHOP, TYPES 2006, NOTTINGHAM, UK, APRIL 18-21, 2006, REVISED SELECTED PAPERS

TYPES FOR PROOFS AND PROGRAMS: INTERNATIONAL WORKSHOP, TYPES 2006, NOTTINGHAM, UK, APRIL 18-21, 2006, REVISED SELECTED PAPERS
SPRINGER
-
978-3-540-74463-4
₹ 6,462.00 ₹ 7,628.91
✻