Skip to main content

Search using this query type: Keyword
Boolean
Exact match

Search only these record types: Item
File
Collection

Advanced Search (Items only)

Home
Browse Items
Browse Collections
Collection Tree
GCTU Library
GCTU Home
Contact Us

Formal Methods for Computer System Design and Analysis

Formal Methods for computer systems designs and analysis.pdf

Dublin Core

Title

Formal Methods for Computer System Design and Analysis

Creator

Diego Latella

Publisher

SEFM

Date

2010

Collection

Faculty of Computing and Information Systems

Citation

Diego Latella , “Formal Methods for Computer System Design and Analysis,” GCTU Repository, accessed November 22, 2024, https://repository.gctu.edu.gh/items/show/395.

← Previous Item
Next Item →

Ghana Communication Technology University © 2019

Proudly powered by Omeka.