ISBN 9783540680840,Types for Proofs and Programs

Types for Proofs and Programs

Rs3348 Rs4835 31% OFF

Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540680840

ISBN-10 3540680845
Binding

Paperback

Number of Pages 220 Pages
Subject

Computer programming / software development

N.A.
Scroll