Skip to main content
Mahindra University
Your cart is empty.
Cart
Lists
Public lists
New
View all
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
All libraries
Mahindra University Indira Mahindra School of Education
Mahindra University School of Law
Mahindra University VNLRC
Advanced search
Authority search
Tag cloud
Libraries
Log in to your account
×
Login:
Password:
Home
ISBD view for: Program Proofs
Normal view
MARC view
ISBD view
Program Proofs
K. Rustan M. Leino
Program Proofs - MIT
ISBN:
9780262546232
Print
Add to your cart
(remove)
Save record
BIBTEX
Dublin Core
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MARC (Unicode/UTF-8, Standard)
MODS (XML)
RIS
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC
