| 000 -LEADER |
|---|
| fixed length control field |
03914 a2200529 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
Nust |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20170207164425.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540497035 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(WaSeSS)ssj0000317692 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(WaSeSS)ssj0000317692 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(WaSeSS)ssj0000317692 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(WaSeSS)ssj0000317692 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(WaSeSS)ssj0000317692 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(WaSeSS)ssj0000317692 |
| 040 ## - CATALOGING SOURCE |
|---|
| Transcribing agency |
Nust |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Havelund, Klaus. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Formal Approaches to Software Testing and Runtime Verification (EBook) |
| Medium |
[electronic resource] / |
| Remainder of title |
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers |
| Statement of responsibility, etc. |
edited by Klaus Havelund, |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Berlin Heidelberg : |
| Name of publisher, distributor, etc. |
Springer-Verlag GmbH., |
| Date of publication, distribution, etc. |
2006 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Other physical details |
v.: digital |
| Extent |
262p |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Lecture Notes in Computer Science, |
| Volume/sequential designation |
4262 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer science |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer Science |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Information Systems |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic design |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logics and Meanings of Programs |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Management of Computing and Information Systems |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Programming Languages, Compilers, Interpreters |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Software engineering |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Software Engineering |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
N�nez, Manuel |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Rosu, Grigore |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wolff, Burkhart |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://costello.pub.hb.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1">http://costello.pub.hb.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://db.ub.oru.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1">http://db.ub.oru.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://ezproxy.bib.hh.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1">http://ezproxy.bib.hh.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://ezproxy.its.uu.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1">http://ezproxy.its.uu.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://link.libris.kb.se/sfxliub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&">http://link.libris.kb.se/sfxliub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://link.libris.kb.se/sfxprv?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&">http://link.libris.kb.se/sfxprv?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://miman.bib.bth.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1">http://miman.bib.bth.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://proxy.lib.chalmers.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1">http://proxy.lib.chalmers.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://sfxeu05.hosted.exlibrisgroup.com/46LUB?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&">http://sfxeu05.hosted.exlibrisgroup.com/46LUB?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://sfxeu10.hosted.exlibrisgroup.com/sfxjon/?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&">http://sfxeu10.hosted.exlibrisgroup.com/sfxjon/?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://sfxeu10.hosted.exlibrisgroup.com/sfxkth?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&">http://sfxeu10.hosted.exlibrisgroup.com/sfxkth?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://sfxeu11.hosted.exlibrisgroup.com/sfxmiu/?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&">http://sfxeu11.hosted.exlibrisgroup.com/sfxmiu/?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283843&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Koha item type |
Book |
