MARC details
| 000 -LEADER |
|---|
| fixed length control field |
00996nam#a2200217ua#4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
GOACATREC95902 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
041005s2004 gw a b 101 0 eng |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Formal methods and software engineering : |
| Statement of responsibility, etc |
Jim Davies, Wolfram Schulte, Mike Barnett (eds.). |
| Remainder of title |
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / |
| 111 00 - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Conference on Formal Engineering Methods |
| Location of meeting |
Seattle, Wash.) |
| Date of meeting |
2004 : |
| Number of part/section/meeting |
(6th : |
| 250 00 - EDITION STATEMENT |
|---|
| Edition statement |
1st ed. |
| 260 00 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Name of publisher, distributor, etc |
Springer, |
| Place of publication, distribution, etc |
New York : |
| Date of publication, distribution, etc |
2004 |
| 020 00 - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540238417 (softcover : alk. paper) |
| 300 00 - PHYSICAL DESCRIPTION |
|---|
| Extent |
xiii, 500 p. : |
| Other physical details |
ill. ; |
| Dimensions |
24 cm. |
| 700 00 - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Davies, Jim, |
| Dates associated with a name |
1964- |
| 700 00 - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Schulte, Wolfram. |
| 700 00 - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Barnett, Mike, |
| Dates associated with a name |
1957- |
| 650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Form subdivision |
Congresses. |
| 650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Form subdivision |
Congresses. |
| 504 00 - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 440 00 - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Lecture notes in computer science, |
| Volume number/sequential designation |
3308 |
| International Standard Serial Number |
0302-9743 ; |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) |
|---|
| Koha normalized classification for sorting |
005_100000000000000_DAVFOR |
| Koha itemnumber |
107746 |
