Software development with Z : (Record no. 7942)

INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0201627574
DEWEY DECIMAL CLASSIFICATION NUMBER
Call number	005.12 WO SO
MAIN ENTRY--PERSONAL NAME
Authors	Wordsworth, J.B.
TITLE STATEMENT
Title	Software development with Z :
Subtitle	a practical approach to formal methods in software engineering /
Statement of responsibility, etc	J. B. Wordsworth.
PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication	Harlow, Essex :
Publisher	Addison-Wesley Longman,
Date	1992.
PHYSICAL DESCRIPTION
Extent	xii, 334 p. :
Other Details	ill ;
Size	24 cm.
GENERAL NOTE
General note	Includes bibliographical references (p. 321-324) and index.
STUDY PROGRAM
Program name	CSCI325
SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Heading	Z (Computer program language)
SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Heading	Computer software
General	Development.
SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Heading	Formal methods (Computer science)
ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	https://uowd.box.com/s/uvqpalghdnyg3zrptbg7kanhq4bnfrax
Public note	Location Map
MAIN ENTRY--PERSONAL NAME
--	37710
SUBJECT ADDED ENTRY--TOPICAL TERM
--	37640
SUBJECT ADDED ENTRY--TOPICAL TERM
--	1631
SUBJECT ADDED ENTRY--TOPICAL TERM
--	37711

Holdings
Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Permanent location	Current location	Shelving location	Date acquired	Source of acquisition	Full call number	Barcode	Date last seen	Cost, replacement price	Price effective from	Koha item type	Checked out
				University of Wollongong in Dubai	University of Wollongong in Dubai	Main Collection	2002-03-06	UOW Unishop	005.12 WO SO	T0011869	2017-01-26	67.68	2017-01-26	REGULAR
				University of Wollongong in Dubai	University of Wollongong in Dubai	Main Collection	2001-03-21	UOW Unishop	005.12 WO SO	T0013699		67.68	2017-01-26	REGULAR	2013-05-29

UOWD Library