Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (Record no. 43702)

MARC details
000 -LEADER
fixed length control field 00517nmm a2200169Ia 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250625125349.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 250509s9999||||xx |||||||||||||||||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262256025
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Dill
245 #0 - TITLE STATEMENT
Title Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. MIT Press
Place of publication, distribution, etc. Cambridge
Date of publication, distribution, etc. 2003
365 ## - TRADE PRICE
Price amount 538
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Robotics_&_Automation_Engineering
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249">https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type EBOOKS
Holdings
Date last seen Total checkouts Accession Number Uniform resource identifier Cost, replacement price Price effective from Koha item type Section Lost status Damaged status Not for loan Collection Withdrawn status Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Bill No Bill Date Currency
2025-05-09   E36443 https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249 538.00 2024-11-27 EBOOKS EBOOKS       Reference Book   Rajarambapu Institute of Technology, Rajaramnagar Rajarambapu Institute of Technology, Rajaramnagar Digital library 2024-11-27 EBSCO Information Services India Private Limited 538.00 I/2425/Oct-006 11/29/24 INR
2025-05-09   E36444 https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249   2024-11-27 EBOOKS EBOOKS       Reference Book   Rajarambapu Institute of Technology, Rajaramnagar Rajarambapu Institute of Technology, Rajaramnagar Digital library 2024-11-27 EBSCO Information Services India Private Limited   I/2425/Oct-006 11/29/24 INR
2025-05-09   E36445 https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249   2024-11-27 EBOOKS EBOOKS       Reference Book   Rajarambapu Institute of Technology, Rajaramnagar Rajarambapu Institute of Technology, Rajaramnagar Digital library 2024-11-27 EBSCO Information Services India Private Limited   I/2425/Oct-006 11/29/24 INR
2025-05-09   E36446 https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249   2024-11-27 EBOOKS EBOOKS       Reference Book   Rajarambapu Institute of Technology, Rajaramnagar Rajarambapu Institute of Technology, Rajaramnagar Digital library 2024-11-27 EBSCO Information Services India Private Limited   I/2425/Oct-006 11/29/24 INR
2025-05-09   E36447 https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249   2024-11-27 EBOOKS EBOOKS       Reference Book   Rajarambapu Institute of Technology, Rajaramnagar Rajarambapu Institute of Technology, Rajaramnagar Digital library 2024-11-27 EBSCO Information Services India Private Limited   I/2425/Oct-006 11/29/24 INR
2025-05-09   E36448 https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249   2024-11-27 EBOOKS EBOOKS       Reference Book   Rajarambapu Institute of Technology, Rajaramnagar Rajarambapu Institute of Technology, Rajaramnagar Digital library 2024-11-27 EBSCO Information Services India Private Limited   I/2425/Oct-006 11/29/24 INR
2025-05-09   E36449 https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249   2024-11-27 EBOOKS EBOOKS       Reference Book   Rajarambapu Institute of Technology, Rajaramnagar Rajarambapu Institute of Technology, Rajaramnagar Digital library 2024-11-27 EBSCO Information Services India Private Limited   I/2425/Oct-006 11/29/24 INR
2025-05-09   E36450 https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249   2024-11-27 EBOOKS EBOOKS       Reference Book   Rajarambapu Institute of Technology, Rajaramnagar Rajarambapu Institute of Technology, Rajaramnagar Digital library 2024-11-27 EBSCO Information Services India Private Limited   I/2425/Oct-006 11/29/24 INR
2025-05-09   E36451 https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249   2024-11-27 EBOOKS EBOOKS       Reference Book   Rajarambapu Institute of Technology, Rajaramnagar Rajarambapu Institute of Technology, Rajaramnagar Digital library 2024-11-27 EBSCO Information Services India Private Limited   I/2425/Oct-006 11/29/24 INR
2025-05-09   E36452 https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249   2024-11-27 EBOOKS EBOOKS       Reference Book   Rajarambapu Institute of Technology, Rajaramnagar Rajarambapu Institute of Technology, Rajaramnagar Digital library 2024-11-27 EBSCO Information Services India Private Limited   I/2425/Oct-006 11/29/24 INR

You are Visitor Number

Visit counter For Websites


All Rights Reserved. © 2023 Implemented and Customised by RIT Central library