An Automated Verificattion Method for Distributed Systems Softwae Based on Model Extraction (Record no. 776534)

MARC details
000 -LEADER
fixed length control field 00505nab a2200145Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230808s2002 |||||||f |||| 00| 0 eng d
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Holzmann, Gerard J.
9 (RLIN) 779061
245 #3 - TITLE STATEMENT
Title An Automated Verificattion Method for Distributed Systems Softwae Based on Model Extraction
300 ## - PHYSICAL DESCRIPTION
Extent 364-377 p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element for mal Method
9 (RLIN) 789286
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Model Creation
9 (RLIN) 827854
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software Testing
9 (RLIN) 727704
773 ## - HOST ITEM ENTRY
Place, publisher, and date of publication 2002
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.28, No.04 (Apr. 2002)   20/08/2023 Articles