Software Engineering Mathematics: Formal Methods Demystified (Record no. 10999)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00361nam a2200145Ia 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 0273026739 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9780273026730 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.0151 |
Item number | WOO |
100 ## - MAIN ENTRY--AUTHOR NAME | |
Personal name | Woodcock, Jim |
245 ## - TITLE STATEMENT | |
Title | Software Engineering Mathematics: Formal Methods Demystified |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | London |
Name of publisher | Pitman |
Year of publication | 1988 |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | 291p. |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Martin Loomes |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Lending Books |
Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|---|
Reference | Main Library | Main Library | Stacks | 05/03/1993 | Purchased | 985.00 | 004.0151 WOO | 000613 | Lending Books |