Formal Methods for Protocol Testing a Detailed Study (Record no. 746803)

MARC details
000 -LEADER
fixed length control field 00509nab a2200157Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230808s1989 |||||||f |||| 00| 0 eng d
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Sidhu, Deepinder P.
9 (RLIN) 784279
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Leung, Ting-Kau
9 (RLIN) 784281
245 #0 - TITLE STATEMENT
Title Formal Methods for Protocol Testing a Detailed Study
300 ## - PHYSICAL DESCRIPTION
Extent 413-426 p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal Models
9 (RLIN) 699744
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element State Transition Analysis
9 (RLIN) 713063
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Protocol
9 (RLIN) 750376
773 ## - HOST ITEM ENTRY
Place, publisher, and date of publication 1989
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.15, No.04 (Apr. 1989)   19/08/2023 Articles
Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024