An Introduction to Formal Specification and Z / (Record no. 23110)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01574cam a2200289 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | vtls000000746 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | VRT |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250102224902.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 081019s1996 nyua |b 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0132422077 |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] | |
| Level of rules in bibliographic description | 201402040048 |
| Level of effort used to assign nonsubject heading access points | VLOAD |
| Level of effort used to assign subject headings | 201005171227 |
| Level of effort used to assign classification | malmash |
| Level of effort used to assign subject headings | 200811220921 |
| Level of effort used to assign classification | venkatrajand |
| Level of effort used to assign subject headings | 200810201142 |
| Level of effort used to assign classification | alawaid |
| -- | 200810191128 |
| -- | musallam |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.76 |
| Item number | .D47 P68 1996 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Potter, Ben. |
| 9 (RLIN) | 48999 |
| 245 13 - TITLE STATEMENT | |
| Title | An Introduction to Formal Specification and Z / |
| Statement of responsibility, etc. | Ben Potter, Jane Sinclair, David Till |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd ed |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | New York ; |
| -- | London : |
| Name of publisher, distributor, etc. | Prentice-Hall, |
| Date of publication, distribution, etc. | c1996 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xiv, 434 p. : |
| Other physical details | ill. ; |
| Dimensions | 24 cm |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Prentice-Hall international series in computer science |
| 9 (RLIN) | 13248 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliography and index |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | *Introduction. *Formal Specification within Software Engineering. *An informal introduction to Logic and Set Theory. *The Z Notation: Mathematical Language. *The Z Notation: Relations and Functions. *The Z Notation:Schemas and Specification Structure. *A First Specification.Formal Reasoning. *From Specification to Program. *From Theory to Practice. *Appendices. *Bibliography. *Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years. |
| 630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Z (Computer program language) |
| 9 (RLIN) | 49000 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programming |
| 9 (RLIN) | 1258 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sinclair, Jane. |
| 9 (RLIN) | 49001 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Till, David, |
| Dates associated with a name | 1942-. |
| 9 (RLIN) | 49002 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Suppress in OPAC | No |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Cost, replacement price | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Library | Library | First Floor | 21/12/2024 | 20.60 | QA76.76 .D47 P68 1996 | 2595 | 21/12/2024 | 1 | 41.20 | 21/12/2024 | Books | |||||
| Library of Congress Classification | Library | Library | First Floor | 21/12/2024 | QA76.76 .D47 P68 1996 | 3034 | 21/12/2024 | 2 | 21/12/2024 | Books | |||||||
| Library of Congress Classification | Library | Library | First Floor | 21/12/2024 | 20.60 | QA76.76 .D47 P68 1996 | 2596 | 21/12/2024 | 3 | 41.20 | 21/12/2024 | Books | |||||
| Library of Congress Classification | Library | Library | First Floor | 21/12/2024 | QA76.76 .D47 P68 1996 | 3033 | 21/12/2024 | 4 | 21/12/2024 | Books | |||||||
| Library of Congress Classification | Library | Library | First Floor | 21/12/2024 | QA76.76 .D47 P68 1996 | 3036 | 21/12/2024 | 5 | 21/12/2024 | Books | |||||||
| Library of Congress Classification | Library | Library | First Floor | 21/12/2024 | QA76.76 .D47 P68 1996 | 3035 | 21/12/2024 | 6 | 21/12/2024 | Books |