Embedded system design : (Record no. 4339)

MARC details
000 -LEADER
fixed length control field 01390cam a22003017a 4500
001 - CONTROL NUMBER
control field 15781945
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20191025111642.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 090619s20132006ii a g b 001 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2009931042
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number 994910134
Source dnb
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number 09,N28,0773
Source dnb
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781441905031(pbk.)
040 ## - CATALOGING SOURCE
Transcribing agency NCL
Modifying agency LIN2019
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.21
Item number GAJ-E 2013 6128
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Gajski, Daniel D.
245 1# - TITLE STATEMENT
Title Embedded system design :
Remainder of title modeling, synthesis and verification /
Statement of responsibility, etc. by Daniel D. Gajski ... [et al.].
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. New Delhi:
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 2013
300 ## - PHYSICAL DESCRIPTION
Extent xxiv, 352 p. :
Other physical details ill. ;
Dimensions 24 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. [335]-347) and index.
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note Chapter 1: Introduction------------------------------<br/>Chapter 2: System Design Methodologies-------------------------<br/>Chapter 3: Modeling-----------------------------<br/>Chapter 4: System synthesis------------------------<br/>Chapter 5: Software Synthesis----------------------------<br/>Chapter 6: Hardware Synthesis---------------------------<br/>Chapter 7: Verification--------------------------<br/>Chapter 8: Embedded Design Practice-------------------------
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Embedded computer systems
General subdivision Design and construction.
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programmatuurtechniek
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Embedded systems
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Modellen (vorm)
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Eingebettetes System.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Inventory number Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
          Namal Library Namal Library Computer Science 04/01/2014 Pak Book Corporation 1264.05 Bill No. 11304786   004.21 GAJ-E 2013 6128 0006128 04/01/2014 04/01/2014 Books