An Automated Verificattion Method for Distributed Systems Softwae Based on Model Extraction (Record no. 776534)
[ view plain ]
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 |
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 |