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:
LEADER 00890pamaa2200169 4500
001 0000028931
005 20110104090000.0
008 101028 eng
090 0 0 |a QA76   |b LEE 2010 
100 1 1 |a Lee Lik Shen  
245 1 0 |a Implementation of Z language specification processor for checking the correctness of Z specification   |c Lee Lik Shen. 
260 0 0 |a Nilai:   |b INTI International University,   |c March 2010. 
300 |a vii, 92p:   |b ill.;   |c 30 cm. 
500 0 0 |a Honors Degree In Software Engineering (BSECU) - Double module Final Project Report 
502 0 0 |a A dissertation submitted in partial fulfillment of the requirement of Honors Degree in Computer Software Engineering at Coventry University under themanagement and surpervision of Faculty Computing and IT, INTI International University 
650 0 0 |a Dissertations, academic --   |x Computer systems  
901 |u www.newinti.edu.my