Software Specification Methods (Record no. 573967)

MARC details
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
Holdings
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

Find us on the map