Z : (Record no. 6078)

LIBRARY OF CONGRESS CONTROL NUMBER
LC control number	94004943
INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0471939730 :
DEWEY DECIMAL CLASSIFICATION NUMBER
Call number	005.1/2
MAIN ENTRY--PERSONAL NAME
Authors	Diller, Antoni.
TITLE STATEMENT
Title	Z :
Subtitle	an introduction to formal methods /
Statement of responsibility, etc	Antoni Diller.
EDITION STATEMENT
Edition	2nd ed.
PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication	Chichester, West Sussex, England ;
--	New York :
Publisher	Wiley & Sons,
Date	1994.
PHYSICAL DESCRIPTION
Extent	xix, 374 p. :
Other Details	ill ;
Size	25 cm.
STUDY PROGRAM
Program name	CSCI325
SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Heading	Z (Computer program language)
SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Heading	Formal methods (Computer science)
ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	https://uowd.box.com/s/mskb7tbhnm3pugaj7r20iupspc28xd9n
Public note	Location Map
MAIN ENTRY--PERSONAL NAME
--	37742
SUBJECT ADDED ENTRY--TOPICAL TERM
--	37640
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
				University of Wollongong in Dubai	University of Wollongong in Dubai	Main Collection	2006-02-19	AMAUK	005.133 DI ZA	T0026398	2017-01-26	37.04	2017-01-26	REGULAR
				University of Wollongong in Dubai	University of Wollongong in Dubai	Main Collection	2006-02-19	AMAUK	005.133 DI ZA	T0026399	2017-01-26	37.04	2017-01-26	REGULAR

UOWD Library