EMBEDDDED SYSTEM DESIGN: MODELING SYNTHESIS AND VERIFICATION (Record no. 8442)

000 -LEADER
fixed length control field 00255nam a22000977a 4500
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name DANIEL D. GAJSKI
245 ## - TITLE STATEMENT
Title EMBEDDDED SYSTEM DESIGN: MODELING SYNTHESIS AND VERIFICATION
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication NEW DELHI
Name of publisher SPRINGER
Year of publication 2006
300 ## - PHYSICAL DESCRIPTION
Number of Pages XXV, 352P
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Permanent Location Current Location Shelving location Date acquired Cost, normal purchase price Accession Number Koha item type
Central Library, SRM Institute of Science and Technology Central Library, SRM Institute of Science and Technology Reference Rack - 14 - D 23/08/2017 895.00 36836 Reference
Central Library, SRM Institute of Science and Technology Central Library, SRM Institute of Science and Technology Rack - 69 - H 23/08/2017 895.00 36837 Books
Central Library, SRM Institute of Science and Technology Central Library, SRM Institute of Science and Technology Rack - 69 - H 23/08/2017 895.00 36838 Books
Central Library, SRM Institute of Science and Technology Central Library, SRM Institute of Science and Technology Rack - 69 - H 23/08/2017 895.00 36839 Books
Central Library, SRM Institute of Science and Technology Central Library, SRM Institute of Science and Technology Rack - 69 - H 23/08/2017 895.00 36840 Books

Central Library, SRM Institute of Science and Technology, Delhi-NCR Campus, Delhi-Meerut Road, Modi Nagar, Ghaziabad, Uttar Pradesh-201204 (India)