Title :	Software development with Z : a practical approach to formal methods in software engineering
Material Type:	printed text
Authors:	Wordsworth, J. B., Author
Edition statement:	reprinted 1996.
Publisher:	Addison-Wesley Pub. Co.
Publication Date:	1996
Pagination:	xii, 334 p.
Layout:	ill., pbk.
Size:	24 cm.
ISBN (or other code):	0201627574
Price:	928 Baht
Languages :	English (eng)
Descriptors:	[LCSH]Computer software -- Development [LCSH]Z (Computer language program)
Curricular :	BSCS/MSMT/PhDT
Record link:	http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=2014

Software development with Z : a practical approach to formal methods in software engineering [printed text] / Wordsworth, J. B., Author  . -  reprinted 1996. . - Wokingham, England, Reading, Mass. : Addison-Wesley Pub. Co., 1996 . - xii, 334 p. : ill., pbk. ; 24 cm.
ISBN : 0201627574 : 928 Baht
Languages : English (eng)

Descriptors:	[LCSH]Computer software -- Development [LCSH]Z (Computer language program)
Curricular :	BSCS/MSMT/PhDT
Record link:	http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=2014