Verification Techniques for System-Level Design: (Record no. 3659)

MARC details
000 -LEADER
fixed length control field 00510cam a22001814a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20210121112631.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 070705s2008 ne a b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9780123706164 (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0123706165 (pbk.)
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.3815
Item number MUK/V
100 1# - MAIN ENTRY--AUTHOR NAME
Personal name Fujita, Masahiro
245 10 - TITLE STATEMENT
Title Verification Techniques for System-Level Design:
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Amsterdam
-- Boston
Name of publisher Morgan Kaufmann Publishers
Year of publication 2008
300 ## - PHYSICAL DESCRIPTION
Number of Pages 240
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Indradeep Ghosh, Mukul Prasad
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Collection code Home library Current library Shelving location Date acquired Source of acquisition Purchase Price Bill number Full call number Accession Number Print Price Bill Date/Price effective from Koha item type
      Computer Science Indian Institute of Technology Tirupati Indian Institute of Technology Tirupati General Stacks 21/01/2021   4359.05 IN28268/20-21 621.3815 MUK/V 07185 7185.00 02/12/2020 Books
      Computer Science Indian Institute of Technology Tirupati Indian Institute of Technology Tirupati Reference 21/01/2021   4359.05 IN28268/20-21 REF 621.3815 FujV 07186 7185.00 02/12/2020 Reference