Search the Library Catalogue
The B-book (Record no. 574754)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00893nam a22001937a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250704b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780521021753 |
| 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.1 |
| Item number | ABR |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Abrial Jean-raymond |
| 245 ## - TITLE STATEMENT | |
| Title | The B-book |
| Sub Title | : assigning programs to meanings |
| Statement of responsibility, etc | Jean-Raymond Abrial |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Cambridge |
| Name of publisher | Cambridge University Press, , |
| Year of publication | 1996 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | xxxiv; 779 p. |
| Dimensions | 23 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes index |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | B Method (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 | 28.07.2010 | 005.1 ABR | 103437 | 04.07.2025 | Reference |