An ordered binary decision diagram based optimal test generation technique through requirements modeling / (Record no. 487144)

MARC details
000 -LEADER
fixed length control field 00645nam a2200181Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 240610s9999||||xx |||||||||||||| ||und||
040 ## - CATALOGING SOURCE
Original cataloging agency JZL-CUI
Transcribing agency COMSATS University Islamabad
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Item number KAB-A
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 004 KAB-A
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Kabir, Momna.
245 #3 - TITLE STATEMENT
Title An ordered binary decision diagram based optimal test generation technique through requirements modeling /
Statement of responsibility, etc. Momna Kabir.
Medium [Thesis or Dissertation]
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Islamabad :
Name of publisher, distributor, etc. COMSATS University Islamabad,
Date of publication, distribution, etc. 2019.
300 ## - PHYSICAL DESCRIPTION
Extent xv, 41 pages :
Other physical details ;
Dimensions 30 cm
502 ## - DISSERTATION NOTE
Name of granting institution COMSATS University Islamabad
600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME
Miscellaneous information Supervisor,
655 ## - INDEX TERM--GENRE/FORM
Genre/form data or focus term Computer Science
Holdings
Date last seen Total checkouts Full call number Shelving location Copy number Uniform resource identifier Price effective from Koha item type Lost status Damaged status Not for loan Collection Withdrawn status Home library Barcode Current library Date acquired Source of acquisition
06/10/2024   T 004 KAB-A 10122 2nd Floor 1 In 06/10/2024 Thesis or Dissertation       Thesis or Dissertation   Junaid Zaidi Library, COMSATS University Islamabad 10001TP0010122 Junaid Zaidi Library, COMSATS University Islamabad   Examination Office, CUI