Taylor's Library Banner

The way of Z : (Record no. 181582)

MARC details
000 -LEADER
fixed length control field 02277cam a2200217 a 4500
001 - CONTROL NUMBER
control field vtls001929160
003 - CONTROL NUMBER IDENTIFIER
control field MY-SjTCS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200226121350.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 110218s1997 enk 00 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521559766
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201209131746
Level of effort used to assign nonsubject heading access points izani
Level of effort used to assign subject headings 201102181409
Level of effort used to assign classification VLOAD
-- 200407271917
-- VLOAD
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.12
Item number JAC
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Jacky, Jonathan.
9 (RLIN) 11548
245 14 - TITLE STATEMENT
Title The way of Z :
Remainder of title practical programming with formal methods /
Statement of responsibility, etc. Jonathan Jacky.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge [U.K.] :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 1997.
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 350 p. ;
Dimensions 25 cm.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Preface. - I. Why Z? 1. Formal methods. 2. Why Use Formal Methods? 3. Formal methods and project management. Further reading. - II. Introducing Z. 4. What is Z? 5. A first example in Z. 6. From prose to Z: control console. 7. Introducing schemas: text editor. Further reading. - III. Elements of Z. 8. Elements. 9. Structure. 10. Logic. 11. Synthesis. 12. Schemas and schema calculus. 13. Schema types and bindings. 14. Generic definitions and free types. 15. Formal reasoning. Further reading. - IV. Studies in Z. 16. Document control system. 17. Text processing. 18. Eight queens. 19. Computer graphics and computational geometry. 20. Rule-based programming. 21. Graphical user interface. 22. Safety-critical protection system. 23. Modelling large systems. 24. Object-oriented programming. 25. Concurrency and real time. Further reading. - V. Programming with Z. 26. Refinement. 27. Program derivation and formal verification. 28. From Z to code. Further reading. - A. Glossary of Z notation. - B. Omitted features. - C. Operator precedence - D. The Z mathematical tool-kit. - E. Selected Laws. - F. Solutions to selected exercises. - G. Other formal notations. - Bibliography. - Index.
520 ## - SUMMARY, ETC.
Summary, etc. This book is a self-contained tutorial on the formal notation Z (pronounced "zed") for experienced professionals and serious students in programming, software engineering and computer science ... The book includes exercises with solutions, reference materials, and a guide to further reading directing readers to more case studies, experience reports, and other formal notations and methods. - Back cover.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Z (Computer program language)
9 (RLIN) 6733
920 ## - Programme
Programme SOCIT : 560480
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Barcode Date last seen Date last checked out Copy number Koha item type Public note
Withdrawn   Dewey Decimal Classification     Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 Taylor's Library-TU TU External Storage-LCS 27/07/2004 1 1000109500 12/12/2019 20/04/2010 1 Main Collection SOCIT, SOCIT, 560480