Real-time systems : (Record no. 77)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01850nam a22002297a 4500 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | LSCPL |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20191111113855.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 130216t20102002ii ill.g |||| 001 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9788126527854 (pbk) |
040 ## - CATALOGING SOURCE | |
Transcribing agency | NCL |
Modifying agency | LIN2019 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.33 |
Item number | CHE-R 2010 3307 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Cheng, Albert M K. |
9 (RLIN) | 192 |
245 1# - TITLE STATEMENT | |
Title | Real-time systems : |
Statement of responsibility, etc. | by Albert M K Cheng, |
Remainder of title | Scheduling, analysis and verification/ |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | New Delhi : |
Name of publisher, distributor, etc. | Pearson Education Private Limited, |
Date of publication, distribution, etc. | 2010c. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 524p. |
Other physical details | ill, graphs ; |
Dimensions | 24 cm. |
500 ## - GENERAL NOTE | |
General note | Include bibliography references and index |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | Chapter 1: Introduction------------------------------------<br/>Chapter 2: Analysis and Verification of Non-Real-Time Systems---------------------<br/>Chapter 3: Real-Time Scheduling and Schedulability Analysis-------------------------<br/>Chapter 4: Model Checking for Finite state Systems-----------------------------<br/>Chapter 5: Visual Formalism, Statecharts and Statemate----------------------------<br/>Chapter 6: Real-Time Logic, Graph Theoretic Analysis and Modechart---------------------------<br/>Chapter 7: Verification Using Timed Automata-------------------------<br/>Chapter 8: Timed Petri Nets----------------------------------<br/>Chapter 9: Process Algebra-------------------------<br/>Chapter 10: Design and Analysis of Propositional Logic Rule Based System--------------------------------------<br/>Chapter 11: Timing Analysis of Predicate Logic Rule-Based Systems-------------------------<br/>Chapter 12: Optimization of Rule Based Systems------------------------------ |
520 ## - SUMMARY, ETC. | |
Summary, etc. | Intended for senior/graduate-level courses in Real-Time Systems in Computer Science and Computer Engineering departments, this book covers the advances in real-time operating systems and |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Realtime Data processing |
9 (RLIN) | 193 |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | Computer Science |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | |
Koha item type | Books |
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 | Copy number |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Namal Library | Namal Library | Computer Science | 02/16/2013 | Allied book company | 581.25 | Bill No. 1415 | 004.33 LIU-R 2012 433 | 433 | 12/09/2019 | 07/18/2013 | Books | |||||||
Namal Library | Namal Library | Computer Science | 12/09/2013 | Old books | 004.33 LIU-R 2012 2862 | 0002862 | 12/09/2013 | 12/09/2013 | Books | 2 | ||||||||
Namal Library | Namal Library | Computer Science | 12/25/2013 | Allied book | 800.90 | Bill No. 2984 | 004.33 CHE-R 2010 3307 | 0003307 | 12/25/2013 | 12/25/2013 | Books |