Skip to content
Toggle navigation
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Implementation of Z language s...
Preview
Cite this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to MARCXML
Implementation of Z language specification processor for checking the correctness of Z specification
Main Author:
Lee Lik Shen
Format:
Book
Language:
English
Published:
Nilai:
INTI International University,
March 2010.
Subjects:
Dissertations, academic --
>
Computer systems
Holdings
Description
Preview
Similar Items
Staff View
Similar Items
Tracking the proof and correctness between abstract and concrete specification using Z language
by: Ruan Wei Cong
Published: (2008)
An introduction to formal specification and Z
by: POTTER
Published: (1996)
Study and implementation of Z language processor
by: FANG LEI
Published: (2001)
A Study and Implementation of a Z Specification Syntax Verifier
by: CHEAH HSIU QUEN
Published: (2004)
Implementation of Z analysis tool recognizing definition of generic nations for schema development
by: Liu Pu Zheng
Published: (2010)
×
Loading...