Search the Library Catalogue
000 -LEADER | |
---|---|
fixed length control field | 00805nam a22001937a 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 250626b |||||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9781905209347 |
Paper back/Hardbound | hbk |
041 ## - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.0151 |
Item number | HAB |
100 ## - MAIN ENTRY--AUTHOR NAME | |
Personal name | Habrias Henri |
245 ## - TITLE STATEMENT | |
Title | Software Specification Methods |
Statement of responsibility, etc | Henri Habrias,Marc Frappier |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Usa |
Name of publisher | Iste |
Year of publication | 2007 |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | xxv; 418 p. |
Dimensions | 25 cm. |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes index |
520 ## - SUMMARY, ETC. | |
Summary, etc | This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS<br/> |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | computers computer software specifications electronic books |
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 | 08.11.2010 | 004.0151 HAB | 333071 | 26.06.2025 | Reference |