Model Checking Formal Verification Methodology for Network on Chip / (Record no. 8923)

MARC details
000 -LEADER
fixed length control field 00794nam a22002537a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 210215b2014 a|||f mb|| 00| 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency EG-CaNU
Transcribing agency EG-CaNU
041 0# - Language Code
Language code of text eng
Language code of abstract eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621
100 0# - MAIN ENTRY--PERSONAL NAME
Personal name Sherif Salem Mostafa Agamy
245 1# - TITLE STATEMENT
Title Model Checking Formal Verification Methodology for Network on Chip /
Statement of responsibility, etc. Sherif Salem Mostafa Agamy
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Date of publication, distribution, etc. 2014
300 ## - PHYSICAL DESCRIPTION
Extent p.
Other physical details ill.
Dimensions 21 cm.
500 ## - GENERAL NOTE
Materials specified Supervisor: Rafik Guindi
502 ## - Dissertation Note
Dissertation type Thesis (M.A.)—Nile University, Egypt, 2014 .
504 ## - Bibliography
Bibliography "Includes bibliographical references"
505 0# - Contents
Formatted contents note Contents:
520 3# - Abstract
Abstract Abstract:
546 ## - Language Note
Language Note Text in English, abstracts in English.
650 #4 - Subject
Subject MSD
655 #7 - Index Term-Genre/Form
Source of term NULIB
focus term Dissertation, Academic
690 ## - Subject
School MSD
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Thesis
650 #4 - Subject
-- 317
655 #7 - Index Term-Genre/Form
-- 187
690 ## - Subject
-- 317
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Total Checkouts Full call number Date last seen Price effective from Koha item type
    Dewey Decimal Classification     Main library Main library 02/15/2021   621/ S.A.M 2014 02/15/2021 02/15/2021 Thesis