SVA: THE POWER OF ASSERTIONS IN SYSTEM VERILOG (Record no. 42109)

000 -LEADER
fixed length control field 00383nam a2200145Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 190711s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 3319071381
082 ## - CLASSIFICATION NUMBER
Call Number 621.38195404 C411
100 ## - AUTHOR NAME
Author CERNY, E. et. al.
245 #0 - TITLE STATEMENT
Title SVA: THE POWER OF ASSERTIONS IN SYSTEM VERILOG
250 ## - EDITION STATEMENT
Edition statement 2
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication LONDON
Publisher Springer
Year of publication 2015
300 ## - PHYSICAL DESCRIPTION
Number of Pages xix+590p.,24x16Cms.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
-- DDC
Holdings
Withdrawn status Lost status Circulation Status Permanent Location Current Location Entry Date Source of acquisition Cost, normal purchase price Full call number Accession Number Koha item type
      CENTRAL LIBRARY CENTRAL LIBRARY 2016-03-23 NITK STUDENTS CO-OPERATIVE SOCIETY LTD., 99.99 621.38195404 C411 102782 Books