Image from Google Jackets

Model Checking Formal Verification Methodology for Network on Chip / Sherif Salem Mostafa Agamy

By: Material type: TextTextLanguage: English Summary language: English Publication details: 2014Description: p. ill. 21 cmSubject(s): Genre/Form: DDC classification:
  • 621
Contents:
Contents:
Dissertation note: Thesis (M.A.)—Nile University, Egypt, 2014 . Abstract: Abstract:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Thesis Thesis Main library 621/ S.A.M 2014 (Browse shelf(Opens below)) Not for loan

Supervisor: Rafik Guindi

Thesis (M.A.)—Nile University, Egypt, 2014 .

"Includes bibliographical references"

Contents:

Abstract:

Text in English, abstracts in English.

There are no comments on this title.

to post a comment.