EMBEDDDED SYSTEM DESIGN: MODELING SYNTHESIS AND VERIFICATION (Record no. 8442)
[ view plain ]
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 |
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 |