Software Testing for Conventional and Logic Programming /

Software Testing for Conventional and Logic Programming / / Oliver Jack.

Show other versions (1)
Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DGBA Physical Sciences 1990 - 1999
VerfasserIn:
Jack, Oliver,
Place / Publishing House:Berlin ;, Boston : : De Gruyter, , [2011]
©1996
Year of Publication:2011
Edition:Reprint 2011
Language:English
Series:Programmierung Komplexer Systeme / Programming Complex Systems ; 10
Online Access:
Physical Description:1 online resource (230 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 9783110816006
ctrlnum (DE-B1597)41260
(OCoLC)952748643
collection bib_alma
record_format marc
spelling Jack, Oliver, author. aut http://id.loc.gov/vocabulary/relators/aut
Software Testing for Conventional and Logic Programming / Oliver Jack.
Reprint 2011
Berlin ; Boston : De Gruyter, [2011]
©1996
1 online resource (230 p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Programmierung Komplexer Systeme / Programming Complex Systems ; 10
I-VI -- Editorial Notes -- Preface -- Contents -- List of Figures -- Symbols and Notation -- Chapter 1 Introduction -- Chapter 2 Program Testing Concepts -- Chapter 3 Logic Programming Concepts -- Chapter 4 Program Instrumentation -- Chapter 5 Test Coverage -- Chapter 6 Test Input Generation -- Chapter 7 Complexity Analysis -- Chapter 8 Summary -- Appendix A The PROTest System -- Appendix Β Case Study -- Bibliography -- Index
restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star
Issued also in print.
Mode of access: Internet via World Wide Web.
In English.
Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jun 2022)
Computer software Testing.
Fehlererkennung.
Programmierung.
Programmtest.
COMPUTERS / Computer Science. bisacsh
Title is part of eBook package: De Gruyter DGBA Physical Sciences 1990 - 1999 9783110637236 ZDB-23-GPS
print 9783110150711
https://doi.org/10.1515/9783110816006
https://www.degruyter.com/isbn/9783110816006
Cover https://www.degruyter.com/document/cover/isbn/9783110816006/original
language English
format eBook
author Jack, Oliver,
Jack, Oliver,
spellingShingle Jack, Oliver,
Jack, Oliver,
Software Testing for Conventional and Logic Programming /
Programmierung Komplexer Systeme / Programming Complex Systems ;
I-VI --
Editorial Notes --
Preface --
Contents --
List of Figures --
Symbols and Notation --
Chapter 1 Introduction --
Chapter 2 Program Testing Concepts --
Chapter 3 Logic Programming Concepts --
Chapter 4 Program Instrumentation --
Chapter 5 Test Coverage --
Chapter 6 Test Input Generation --
Chapter 7 Complexity Analysis --
Chapter 8 Summary --
Appendix A The PROTest System --
Appendix Β Case Study --
Bibliography --
Index
author_facet Jack, Oliver,
Jack, Oliver,
author_variant o j oj
o j oj
author_role VerfasserIn
VerfasserIn
author_sort Jack, Oliver,
title Software Testing for Conventional and Logic Programming /
title_full Software Testing for Conventional and Logic Programming / Oliver Jack.
title_fullStr Software Testing for Conventional and Logic Programming / Oliver Jack.
title_full_unstemmed Software Testing for Conventional and Logic Programming / Oliver Jack.
title_auth Software Testing for Conventional and Logic Programming /
title_alt I-VI --
Editorial Notes --
Preface --
Contents --
List of Figures --
Symbols and Notation --
Chapter 1 Introduction --
Chapter 2 Program Testing Concepts --
Chapter 3 Logic Programming Concepts --
Chapter 4 Program Instrumentation --
Chapter 5 Test Coverage --
Chapter 6 Test Input Generation --
Chapter 7 Complexity Analysis --
Chapter 8 Summary --
Appendix A The PROTest System --
Appendix Β Case Study --
Bibliography --
Index
title_new Software Testing for Conventional and Logic Programming /
title_sort software testing for conventional and logic programming /
series Programmierung Komplexer Systeme / Programming Complex Systems ;
series2 Programmierung Komplexer Systeme / Programming Complex Systems ;
publisher De Gruyter,
publishDate 2011
physical 1 online resource (230 p.)
Issued also in print.
edition Reprint 2011
contents I-VI --
Editorial Notes --
Preface --
Contents --
List of Figures --
Symbols and Notation --
Chapter 1 Introduction --
Chapter 2 Program Testing Concepts --
Chapter 3 Logic Programming Concepts --
Chapter 4 Program Instrumentation --
Chapter 5 Test Coverage --
Chapter 6 Test Input Generation --
Chapter 7 Complexity Analysis --
Chapter 8 Summary --
Appendix A The PROTest System --
Appendix Β Case Study --
Bibliography --
Index
isbn 9783110816006
9783110637236
9783110150711
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.76 T48 J33 41996EB
url https://doi.org/10.1515/9783110816006
https://www.degruyter.com/isbn/9783110816006
https://www.degruyter.com/document/cover/isbn/9783110816006/original
illustrated Not Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 005 - Computer programming, programs & data
dewey-full 005.1/4
dewey-sort 15.1 14
dewey-raw 005.1/4
dewey-search 005.1/4
doi_str_mv 10.1515/9783110816006
oclc_num 952748643
work_keys_str_mv AT jackoliver softwaretestingforconventionalandlogicprogramming
status_str n
ids_txt_mv (DE-B1597)41260
(OCoLC)952748643
carrierType_str_mv cr
hierarchy_parent_title Title is part of eBook package: De Gruyter DGBA Physical Sciences 1990 - 1999
is_hierarchy_title Software Testing for Conventional and Logic Programming /
container_title Title is part of eBook package: De Gruyter DGBA Physical Sciences 1990 - 1999
_version_ 1770177842962759680
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03095nam a22007695i 4500</leader><controlfield tag="001">9783110816006</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20220629043637.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">220629t20111996gw fo d z eng d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)979586222</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110816006</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110816006</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)41260</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)952748643</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.T48.J33 1996eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.1/4</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143617:</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jack, Oliver, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software Testing for Conventional and Logic Programming /</subfield><subfield code="c">Oliver Jack.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Reprint 2011</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2011]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (230 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Programmierung Komplexer Systeme / Programming Complex Systems ;</subfield><subfield code="v">10</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">I-VI -- </subfield><subfield code="t">Editorial Notes -- </subfield><subfield code="t">Preface -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">List of Figures -- </subfield><subfield code="t">Symbols and Notation -- </subfield><subfield code="t">Chapter 1 Introduction -- </subfield><subfield code="t">Chapter 2 Program Testing Concepts -- </subfield><subfield code="t">Chapter 3 Logic Programming Concepts -- </subfield><subfield code="t">Chapter 4 Program Instrumentation -- </subfield><subfield code="t">Chapter 5 Test Coverage -- </subfield><subfield code="t">Chapter 6 Test Input Generation -- </subfield><subfield code="t">Chapter 7 Complexity Analysis -- </subfield><subfield code="t">Chapter 8 Summary -- </subfield><subfield code="t">Appendix A The PROTest System -- </subfield><subfield code="t">Appendix Β Case Study -- </subfield><subfield code="t">Bibliography -- </subfield><subfield code="t">Index</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jun 2022)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Testing.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fehlererkennung.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmierung.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmtest.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Physical Sciences 1990 - 1999</subfield><subfield code="z">9783110637236</subfield><subfield code="o">ZDB-23-GPS</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783110150711</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110816006</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783110816006</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783110816006/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_CHCOMSGSEN</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_CHCOMSGSEN</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA18STMEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPS</subfield><subfield code="c">1990</subfield><subfield code="d">1999</subfield></datafield></record></collection>

Similar Items