Introduction to embedded systems : (ระเบียนเลขที่ 825765)
| 000 -LEADER | |
|---|---|
| fixed length control field | 01605nam a2200289 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 825765 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | tz |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250817s2017 xxum a00010 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780262533812 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 2016039490 |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | PIMLIB |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TK7895.E42 |
| Item number | .L445I |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Lee, Edward A. |
| 9 (RLIN) | 52340 |
| 245 10 - TITLE STATEMENT | |
| Title | Introduction to embedded systems : |
| Remainder of title | a cyber-physical systems approach / |
| Statement of responsibility, etc. | Edward A. Lee and Sanjit Arunkumar Seshia. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cambridge : |
| Name of publisher, distributor, etc. | MIT Press, |
| Date of publication, distribution, etc. | c2017. |
| -- | 52341 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 537 p. : |
| Other physical details | ill. ; |
| Dimensions | 24 cm. |
| 449 ## - | |
| -- | New Arrivals-Aug.2017 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Introduction -- I. Modeling Dynamic Behaviors -- Continuous Dynamics -- Discrete Dynamics -- Hybrid Systems -- Composition of State Machines -- Concurrent Models of Computation -- II. Design of Embedded Systems -- Sensors and Actuators -- Embedded Processors -- Memory Architectures -- Input and Output -- Multitasking -- Scheduling -- III. Analysis and Verification -- Invariants and Temporal Logic -- Equivalence and Refinement -- Reachability Analysis and Model Checking -- Quantitative Analysis -- Security and Privacy -- IV. Appendices -- Sets and Functions -- Complexity and Computability. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Embedded computer systems. |
| 9 (RLIN) | 47101 |
| 690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Topical term or geographic name as entry element | 0025 วิศวกรรมศาสตรบัณฑิต สาขาวิชาวิศวกรรมหุ่นยนต์และระบบอัตโนมัติ RAE (ป.ตรี) |
| 9 (RLIN) | 47392 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Seshia, Sanjit A. |
| 9 (RLIN) | 52342 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | หนังสือ |
| 988 ## - | |
| -- | 825765 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| -- | siriporn |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Shelving control number | Total Checkouts | Total Renewals | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available | หนังสือภาษาอังกฤษ | PIM Creative Learning Space | PIM Creative Learning Space | English Book Shelves | 25/08/2017 | 2250.00 | English: TX - Z | 1 | 1 | TK7895.E42 .L445I c2017 | 32550000500291 | 23/04/2023 | 1912.50 | 23/04/2023 | หนังสือ |
