Skip to main content
Central Library, IIT, Bombay
Your cart is empty.
Cart
Lists
Public lists
New Arrivals : Display of Standards List from 17/09/2024...
New Arrivals : Display Books List from 17/09/2024-22/09/2024
Choudhury
New Arrivals : Display Books List from 09/09/2024-16/09/2024
New Arrivals : Display Books List from 02/09/2024-08/09/2024
New Arrivals : Display Books List from 26/08/2024-01/09/2024
New Arrivals : Display of Standards List from 19/08/2024...
New Arrivals : Display Books List from 19/08/2024-25/08/2024
New Arrivals : Display Books List from 12/08/2024-18/08/2024
New Arrivals : Display Books List from 05/08/2024-11/08/2024
View all
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Go
Advanced search
Library
Log in to your account
×
Login:
Password:
Use
Emp/Roll Number/LDAP USERID
and
Ldap Password
to login into the system
Home
ISBD view
Normal view
MARC view
ISBD view
Formal methods (e-book)
Nielson, Flemming
Formal methods (e-book) - Berlin Springer 2019
ISBN:
978-3-030-05156-3
Print
Add to your cart
(remove)
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC
Powered by
Koha
