Normal view MARC view ISBD view

Design and Verification of Microprocessor Systems for High-Assurance Applications (Record no. 58358)

000 -LEADER
fixed length control field	00567nam a2200157Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	180620b2010 xxu\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9781441915382
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	629.895416 HAR
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name	Hardin, David S
245 ## - TITLE STATEMENT
Title	Design and Verification of Microprocessor Systems for High-Assurance Applications
Statement of responsibility, etc.	David S. Hardin
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	New York
Name of publisher, distributor, etc.	Springer Verlag, Netherlands
Date of publication, distribution, etc.	2010
300 ## - PHYSICAL DESCRIPTION
Extent	436p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Programmable controllers -- Testing
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Programmable controllers -- Design and construction
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a	0c73b1a2ac1049190139b5452e26eede

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Collection code	Home library	Current library	Shelving location	Date acquired	Source of acquisition	Cost, normal purchase price	Serial Enumeration / chronology	Total Checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type
				REFERENCE SECTION	LRC_JUIT	LRC_JUIT	Computer Science & Engineering	14/11/2011	Krishna Book Distributors	6483.99	Copy 1		REF 629.895416 HAR	027405	21/05/2019	21/05/2019	REFERENCE BOOK