Usability of semi-formal and formal methods integration : (Record no. 422150)

MARC details
000 -LEADER
fixed length control field 01320nam a2200337 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250930124609.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 080909s2008 xxka g bm 000 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Terms of availability Hadiah
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 200902231256
Level of effort used to assign nonsubject heading access points zaina
Level of effort used to assign subject headings 200902231222
Level of effort used to assign classification zaina
Level of effort used to assign subject headings 200902202014
Level of effort used to assign classification zaina
Level of effort used to assign subject headings 200901231158
Level of effort used to assign classification hayat
y 09-09-2008
z hendon
040 ## - CATALOGING SOURCE
Original cataloging agency UKM
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.76.E93R69 2008 tesis[00008051208]
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.76.E93
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) R69 2008
100 0# - MAIN ENTRY--PERSONAL NAME
Personal name Rozilawati Razali
245 10 - TITLE STATEMENT
Title Usability of semi-formal and formal methods integration :
Remainder of title empirical assessments /
Statement of responsibility, etc. Rozilawati Razali
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. [United Kingdom] :
Name of publisher, distributor, etc. University of Southampton,
Date of publication, distribution, etc. 2008
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 404 p. :
Other physical details ill. ;
Dimensions 30 cm.
502 ## - DISSERTATION NOTE
Dissertation note Thesis (Ph. D.) - University of Southampton, 2008
610 20 - SUBJECT ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element University of Southampton
General subdivision Dissertations
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
Form subdivision Evaluation
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element UML (Computer science)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software engineering
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Engineering
General subdivision Computer programs
Form subdivision Evaluation
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Dissertations, Academic
Geographic subdivision United Kingdom
9 (RLIN) 62864
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b1427078x
b 2023-09-06
c 2019-11-12
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type TERHAD
Suppress in OPAC No
Call number prefix QA76.76.E93R69 2008 tesis[00008051208]
914 ## - VTLS Number
VTLS Number vtls003385516
990 ## - EQUIVALENCES OR CROSS-REFERENCES [LOCAL, CANADA]
Link information for 9XX fields hag/zsz
991 ## - LOCAL NOTE (NAMA FAKULTI/INSTITUT/PUSAT)
a Fakulti Sains & Teknologi
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Library PERPUSTAKAAN TUN SERI LANANG
Operator's initials, OID (RLIN) 2008-09-09
Cataloger's initials, CIN (RLIN) m
Material Type (Sierra) Thesis
Language English
Country
-- 0
-- .b1427078x
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Inventory number Total checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
          PERPUSTAKAAN TUN SERI LANANG PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN TESIS-P. TUN SERI LANANG *ARAS 5 12/11/2019 - 0.00 .i18856901   QA76.76.E93R69 2008 tesis[00008051208] 00001484574 17/09/2025 1 17/09/2025 TERHAD

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library