Tests and proofs : (Record no. 640138)

MARC details
000 -LEADER
fixed length control field 06173cam a2201045 a 4500
001 - CONTROL NUMBER
control field ocn654396148
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703155805.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100810s2010 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency WAU
-- OCLCQ
-- OCLCF
-- BEDGE
-- OCLCO
-- CUS
-- COO
-- E7B
-- OL$
-- DKDLA
-- OHS
-- YDXCP
-- OCLCO
-- OCL
-- OCLCO
-- EBLCP
-- OCLCQ
-- OCLCO
-- OCLCQ
-- VT2
-- SOI
-- OCLCO
-- OCLCA
-- DGU
-- OCLCO
-- SHS
-- UAB
-- ESU
-- OCLCQ
-- IOG
-- OCLCO
-- OCLCA
-- BUF
-- OCLCO
-- CEF
-- U3W
-- AU@
-- OCLCO
-- OCLCA
-- WYU
-- OCLCO
-- OCLCQ
-- OCLCO
-- LEAUB
-- AUD
-- OCLCQ
-- OCL
-- OCLCA
-- OCLCQ
-- OCLCA
-- OCLCQ
-- OCLCA
-- OCLCO
-- COM
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCQ
-- OCLCL
-- OCLCA
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number 10,N21
Source dnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 1002680549
Source DE-101
019 ## -
-- 647994708
-- 769769836
-- 964877454
-- 1005787436
-- 1044314703
-- 1056357979
-- 1060856935
-- 1066563842
-- 1066685265
-- 1081256888
-- 1086542141
-- 1087348793
-- 1105588896
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642139772
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642139779
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783642139765
Qualifying information (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3642139760
Qualifying information (pbk.)
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-642-13977-2
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000048774928
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051345624
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060008738
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000462907
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000686213
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 384355196
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13517707
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13698965
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000075311474
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)654396148
Canceled/invalid control number (OCoLC)647994708
-- (OCoLC)769769836
-- (OCoLC)964877454
-- (OCoLC)1005787436
-- (OCoLC)1044314703
-- (OCoLC)1056357979
-- (OCoLC)1060856935
-- (OCoLC)1066563842
-- (OCoLC)1066685265
-- (OCoLC)1081256888
-- (OCoLC)1086542141
-- (OCoLC)1087348793
-- (OCoLC)1105588896
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-642-13976-5
Source of stock number/acquisition Springer
Note http://www.springerlink.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.T48
Item number T37 2010
060 #4 - NATIONAL LIBRARY OF MEDICINE CALL NUMBER
Classification number QA 76.76.T48
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
072 #7 - SUBJECT CATEGORY CODE
Subject category code UM
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1/4
Edition number 22
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element TAP 2010
Date of meeting (2010 :
Location of meeting Málaga, Spain)
9 (RLIN) 38894
245 10 - TITLE STATEMENT
Title Tests and proofs :
Remainder of title 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings /
Statement of responsibility, etc. Gordon Fraser, Angelo Gargantini (eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2010.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (x, 182 pages) :
Other physical details illustrations
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 6143
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 2, Programming and software engineering
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and author index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
520 8# - SUMMARY, ETC.
Summary, etc. Annotation
Expansion of summary note This book constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Málaga, Spain, in July 2010.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited Talks -- How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback -- Myths in Software Engineering: From the Other Side -- Specifications from Testing -- QuickSpec: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases -- Proof Process Evaluation with Mutation Analysis -- Test Generation Using Proof Techniques -- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay -- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces -- Combining Static Analysis and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding -- Theorem Proving and Testing -- Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications -- Abstraction -- Syntactic Abstraction of B Models to Generate Tests -- Building a Test-Ready Abstraction of a Behavioral Model Using CLP.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Testing
Form subdivision Congresses.
9 (RLIN) 18837
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification
Form subdivision Congresses.
9 (RLIN) 15105
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Form subdivision Congresses.
9 (RLIN) 15679
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software Validation
9 (RLIN) 32251
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software
9 (RLIN) 16724
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels
General subdivision Vérification
Form subdivision Congrès.
9 (RLIN) 18708
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Méthodes formelles (Informatique)
Form subdivision Congrès.
9 (RLIN) 18838
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels
General subdivision Validation.
9 (RLIN) 967232
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels.
9 (RLIN) 26065
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element software.
Source of heading or term aat
9 (RLIN) 16724
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term eclas
9 (RLIN) 14930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Testing
Source of heading or term fast
9 (RLIN) 4794
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification
Source of heading or term fast
9 (RLIN) 1930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Source of heading or term fast
9 (RLIN) 15635
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Softwareentwicklung
Source of heading or term gnd
9 (RLIN) 17355
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Softwaretest
Source of heading or term gnd
9 (RLIN) 38895
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Beweis
Source of heading or term gnd
9 (RLIN) 38589
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Softwaresystem
Source of heading or term gnd
9 (RLIN) 38896
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Model Checking
Source of heading or term gnd
9 (RLIN) 1932
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formale Methode
Source of heading or term gnd
9 (RLIN) 18841
651 #7 - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME
Geographic name Málaga <2010>
Source of heading or term swd
9 (RLIN) 38837
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress
9 (RLIN) 11670
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term proceedings (reports)
Source of term aat
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings
Source of term fast
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Fraser, Gordon.
9 (RLIN) 38897
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Gargantini, Angelo,
Dates associated with a name 1969-
9 (RLIN) 38898
758 ## -
-- has work:
-- Tests and proofs (Text)
-- https://id.oclc.org/worldcat/entity/E39PCGhx7ThQPmXfVtPVT4QdHC
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading TAP 2010 (2010 : Málaga, Spain).
Title Tests and proofs.
Place, publisher, and date of publication Berlin : Springer, ©2010
International Standard Book Number 9783642139765
-- 3642139760
Record control number (OCoLC)646006863
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 6143.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 2,
Name of part/section of a work Programming and software engineering.
9 (RLIN) 20654
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/978-3-642-13977-2">https://link.springer.com/10.1007/978-3-642-13977-2</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3065452
938 ## -
-- ebrary
-- EBRY
-- ebr10400060
938 ## -
-- YBP Library Services
-- YANK
-- 3554846
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha