Z formal specification of functional requirement
Saved in:
Main Author: | Nursyahidah Alias |
---|---|
Corporate Authors: | Research Management Institute (RMI), Institut Pengurusan Penyelidikan (RMI) |
Other Authors: | Mohd Norafizal Abd Aziz, Zazaleena Zakariah |
Format: | Thesis |
Published: |
Shah Alam, Selangor
Universiti Teknologi MARA. Research Management Institute (RMI)
2013
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
An introduction to formal specification and Z
by: Potter, Ben
Published: (1996) -
An Introduction to formal specification with Z and VDM
by: Sheppard, Deri
Published: (1995) -
Formal specification using Z a modelling approach
by: Bottaci, Leonardo
Published: (1995) -
An Introduction to discrete mathematics and formal system specification
by: Ince, D
Published: (1988) -
Formal specification and software development
by: Bjorner, D. 1937- Dines
Published: (1982)