Search the Library Catalogue
Refinement In Z And Object-z (Record no. 574858)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01480nam a22001937a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250706b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9781852332457 |
| Paper back/Hardbound | pbk |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.117 |
| Item number | DER |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Derrick John |
| 245 ## - TITLE STATEMENT | |
| Title | Refinement In Z And Object-z |
| Sub Title | : foundations and advanced applications |
| Statement of responsibility, etc | John Derrick, Eerke Boiten |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | London |
| Name of publisher | Springer, |
| Year of publication | , ©2001 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | xviii; 466 p. |
| Dimensions | 24 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes index |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: - data refinement and its application to Z; - generalisations of refinement that change the interface and atomicity of operations; - refinement in Object-Z; - and modelling state and behaviour by combining Object-Z with CSP. Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Object-z Object-oriented Programming (Computer Science) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Reference |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Full call number | Accession Number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Anna Centenary Library | Anna Centenary Library | 3RD FLOOR, A WING | 06.09.2010 | 005.117 DER | 209639 | 06.07.2025 | Reference |