Tracking the proof and correctness between abstract and concrete specification using Z language

Main Author: Ruan Wei Cong
Format: Book
Language:English
Published: Nilai: INTI Internation University College Malaysia, January 2008.
Subjects:
LEADER 00916pamaa2200181 4500
001 0000044727
005 20110104090000.0
008 090113 eng
020 0 0 |a Nil  
090 0 0 |a QA76   |b RUA 2008 
100 1 1 |a Ruan Wei Cong  
245 1 0 |a Tracking the proof and correctness between abstract and concrete specification using Z language   |c Ruan Wei Cong. 
248 1 0 |b B.Sc. (HONS) IN SOFTWARE ENGINEERING DOUBLE MODULE FINAL PROJECT REPORT 
260 0 0 |a Nilai:   |b INTI Internation University College Malaysia,   |c January 2008. 
300 |a Volume 1;   |c 30 cm. 
502 0 0 |a A dissertation submitted in partial fulfillment of the requirement of Honours Degree in Software Engineering at Coventry University under the management and surpervision of School of Faculty Computing and IT, INTI International University College 
650 0 0 |a Dissertations, academic --   |x Computer systems  
901 |u www.intimal.edu.my