Real-time systems : (Record no. 77)

MARC details
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
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 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