Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specitied in Estelia (Record no. 749137)

MARC details
000 -LEADER
fixed length control field 00580nab a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230808s1993 |||||||f |||| 00| 0 eng d
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Kim Cheng, Albert Mo
9 (RLIN) 789269
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Browne, James C.
9 (RLIN) 785369
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Mok, Aloysius K.
9 (RLIN) 779956
245 #0 - TITLE STATEMENT
Title Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specitied in Estelia
300 ## - PHYSICAL DESCRIPTION
Extent 863-885 p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Estelia
9 (RLIN) 787858
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Real-Time -
9 (RLIN) 693684
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Verification
9 (RLIN) 713714
773 ## - HOST ITEM ENTRY
Place, publisher, and date of publication 1993
Title IEEE Transactions on Software Engineering
International Standard Serial Number 00985589
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Articles
-- 51
-- ABUL KALAM Library
Holdings
Not for loan Home library Serial Enumeration / chronology Total Checkouts Date last seen Koha item type
  Engr Abul Kalam Library Vol.19, No.09 (Sep. 1993)   19/08/2023 Articles