close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Bengt Nordstrom

Bengt Nordstrom

3 results found
List viewGrid view
Sort By:
1.
Programming in Martin-Lof's Type Theory
No Review Yet
₹3,208
Binding:
Hardback
Release:
01 Jun 1990
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
2.
Types for Proofs and Programs
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
3.
Types for Proofs and Programs
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA