Understanding Search Engines
Michael W. Berry, Murray Browne
₹4,859
Type Theory and Formal Proof
An Introduction
by Nederpelt
Cambridge University Press · 2014
₹4,838
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Type Theory and Formal Proof: An Introduction by Nederpelt is a 466-page book published by Cambridge University Press in 2014.
Topics covered include Type theory.
Subjects
Book details
- ISBN-13
- 9781107036505
- ISBN-10
- 110703650X
- Author
- Nederpelt
- Publisher
- Cambridge University Press
- Published
- 2014
- Edition
- 1
- Pages
- 466
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Google Workspace User Guide
Balaji Iyer
₹1,726
Modelling Foundations and Applications
Henrik Lönn Andrzej Wąsowski
₹4,082
Die Digitale Transformation Der Automobilindustrie
Uwe Winkelhake
₹4,917
New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
João Manuel R. S. Tavares, Paulo Rui Fernandes
₹4,266
Next-Level Instructional Design
Susan Nelson Spencer
₹1,758
Introduction to Quantitative Analysis of Linguistic Survey Data
William A. Kretzschmar, Edgar W. Schneider
₹2,657
Medical Image Computing and Computer-assisted Intervention, Miccai 2015
Alejandro Frangi, Joachim Hornegger, Nassir Navab, William M. Wells
₹4,313
DIY Drone and Quadcopter Projects
Editors of Make
₹4,136
Mobility Internet of Things 2018
Dagmar Cagáňová, Natália Horňáková
₹15,387
Introduction to C++ for Engineers and Scientists
Delores Etter
₹4,080
C++ Concurrency in Action
Anthony Williams
₹6,790