Skip to main content
Central Library, PSG iTech
Log in to your account
Search history
Clear
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Go
Advanced search
Libraries
Log in to your account
×
Login:
Password:
Login Credentials
Login ID :
R
oll no. / Staff ID
Use “
forgot your password
” to reset the password
Forgot your password?
Home
ISBD view
Normal view
MARC view
ISBD view
Scalable Techniques for Formal Verification
Sandip Ray
Scalable Techniques for Formal Verification - Springer eBooks 2010
ISBN:
9781441959980
Print
Suggest for purchase
Save record
BIBTEX
Dublin Core
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MARC (Unicode/UTF-8, Standard)
MODS (XML)
RIS
ISBD
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
You are Visitor Number
