000 03914 a2200529 4500
003 Nust
005 20170207164425.0
020 _a9783540497035
035 _a(WaSeSS)ssj0000317692
035 _a(WaSeSS)ssj0000317692
035 _a(WaSeSS)ssj0000317692
035 _a(WaSeSS)ssj0000317692
035 _a(WaSeSS)ssj0000317692
035 _a(WaSeSS)ssj0000317692
040 _cNust
100 1 _aHavelund, Klaus.
245 1 0 _aFormal Approaches to Software Testing and Runtime Verification (EBook)
_h[electronic resource] /
_bFirst Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
_cedited by Klaus Havelund,
260 _aBerlin Heidelberg :
_bSpringer-Verlag GmbH.,
_c2006
300 _bv.: digital
_a262p
440 0 _aLecture Notes in Computer Science,
_v4262
650 0 _aComputer science
650 0 _aComputer Science
650 0 _aInformation Systems
650 0 _aLogic design
650 0 _aLogics and Meanings of Programs
650 0 _aManagement of Computing and Information Systems
650 0 _aProgramming Languages, Compilers, Interpreters
650 0 _aSoftware engineering
650 0 _aSoftware Engineering
700 1 _aN�nez, Manuel
700 1 _aRosu, Grigore
700 1 _aWolff, Burkhart
710 2 _aSpringerLink (Online service)
856 4 2 _uhttp://costello.pub.hb.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1
856 4 2 _uhttp://db.ub.oru.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1
856 4 2 _uhttp://dx.doi.org/10.1007/11940197
856 4 2 _uhttp://ezproxy.bib.hh.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1
856 4 2 _uhttp://ezproxy.its.uu.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1
856 4 2 _uhttp://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&
856 4 2 _uhttp://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&
856 4 2 _uhttp://miman.bib.bth.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1
856 4 2 _uhttp://proxy.lib.chalmers.se/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-540-49699-1
856 4 2 _uhttp://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&
856 4 2 _uhttp://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&
856 4 2 _uhttp://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&
856 4 2 _uhttp://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&
942 _2ddc
_cBK
999 _c208933
_d208933