Sofl a Formal Engineering Methodlogy for Industrial Applications (Record no. 745371)

MARC details
000 -LEADER
fixed length control field 00556nab a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230808s1998 |||||||f |||| 00| 0 eng d
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name liu, Shaoying
9 (RLIN) 716777
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Offutt, Jeff
9 (RLIN) 780798
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Sun, Yong
9 (RLIN) 780799
245 #0 - TITLE STATEMENT
Title Sofl a Formal Engineering Methodlogy for Industrial Applications
300 ## - PHYSICAL DESCRIPTION
Extent 24-45 p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Structured Map
9 (RLIN) 676764
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Object Oriented-Approach (Ooa)
9 (RLIN) 780801
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal Methods
9 (RLIN) 701090
773 ## - HOST ITEM ENTRY
Place, publisher, and date of publication 1998
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.24, No.01 (Jan. 1998)   19/08/2023 Articles