A Case-Study in Timed Refinement a Mine Pump (Record no. 749830)

MARC details
000 -LEADER
fixed length control field 00501nab a2200157Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230808s1992 |||||||f |||| 00| 0 eng d
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Mahony, Brendan P.
9 (RLIN) 790663
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Hayes, Ian J.
9 (RLIN) 790664
245 #2 - TITLE STATEMENT
Title A Case-Study in Timed Refinement a Mine Pump
300 ## - PHYSICAL DESCRIPTION
Extent 817-826 p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Continuous Functions
9 (RLIN) 790665
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Refinement
9 (RLIN) 724505
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Real Time Specification
9 (RLIN) 790666
773 ## - HOST ITEM ENTRY
Place, publisher, and date of publication 1992
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.18, No.09 (Sep. 1992)   19/08/2023 Articles