Description: 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:	Dissertations, academic -- > Computer systems

Physical Description:	Volume 1; 30 cm.
ISBN:	Nil