Integrated formal methods / (Record no. 10228)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00628nam a2200205Ia 4500 |
001 - CONTROL NUMBER | |
control field | 14467 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 180118s9999||||xx |||||||||||||| ||eng|| |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 354041196 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | TULIB |
041 ## - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004 LEC |
100 ## - MAIN ENTRY--AUTHOR NAME | |
Personal name | Grieskamp,Wolfgang (ed.) |
245 #0 - TITLE STATEMENT | |
Title | Integrated formal methods / |
Statement of responsibility, etc | Grieskamp,Wolfgang (ed.). |
250 ## - EDITION STATEMENT | |
Edition statement | 2nd international co |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin: |
Name of publisher | Springer, |
Year of publication | 2000. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | x,439p;23cm |
490 ## - SERIES STATEMENT | |
Series statement | Lecture notes in computer science; no 1945 |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes bibliographical references. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Textbooks |
Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Full call number | Accession Number | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Reference | Central Library, TU | Central Library, TU | Reference Book Section (Consult Shelf-Guide to locate the book) | 20/03/2001 | 004 LEC | 14467 | 20/03/2001 | Reference Books |