Using Z : (Record no. 5792)

MARC details
LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 96004347
ISBN
International Standard Book Number 0139484728 (pbk. : alk. paper)
DEWEY DECIMAL CLASSIFICATION NUMBER
Call number 005.1/2
MAIN ENTRY--PERSONAL AUTHOR
Authors Woodcock, Jim.
TITLE STATEMENT
Title Using Z :
Subtitle specification, refinement, and proof /
Statement of responsibility, etc. Jim Woodcock and Jim Davies.
PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication London ;
-- New York :
Publisher Prentice Hall,
Date 1996.
PHYSICAL DESCRIPTION
Extent ix, 386 p. :
Other Details ill ;
Size 24 cm.
SERIES STATEMENT
Series statement Prentice-Hall international series in computer science
GENERAL NOTE
General note Includes index.
STUDY PROGRAM
Program name CSCI325
SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Heading Z (Computer program language)
ADDED ENTRY
Personal name Davies, Jim,
Dates 1964-
SERIES UNIFORM TITLE
Series Uniform Title Prentice-Hall international series in computer science.
ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://uowd.box.com/s/uvqpalghdnyg3zrptbg7kanhq4bnfrax">https://uowd.box.com/s/uvqpalghdnyg3zrptbg7kanhq4bnfrax</a>
Public note Location Map
MAIN ENTRY--PERSONAL AUTHOR
-- 37639
SUBJECT ADDED ENTRY--TOPICAL TERM
-- 37640
ADDED ENTRY
-- 37641
SERIES UNIFORM TITLE
-- 37642
Holdings
Date last seen Full call number Barcode Cost, replacement price Price effective from Koha item type Lost status Source of classification or shelving scheme Damaged status Not for loan Withdrawn status Permanent location Current location Shelving location Date acquired Source of acquisition
26/01/2017 005.1 WO US T0023793 38.99 26/01/2017 REGULAR   Dewey Decimal Classification       University of Wollongong in Dubai University of Wollongong in Dubai Main Collection 08/02/2005 Bookshop