|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
EBOOKCENTRAL_ocn636371928 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr un||||a|a|| |
| 008 |
100602s1996 gw ob 001 0 eng d |
| 040 |
|
|
|a OCLCE
|b eng
|e pn
|c OCLCE
|d E7B
|d OCLCO
|d OCLCQ
|d N$T
|d OCLCF
|d OCLCQ
|d IDEBK
|d OCLCQ
|d DEBBG
|d YDXCP
|d EBLCP
|d OCLCQ
|d DEBSZ
|d AZK
|d COCUF
|d MOR
|d PIFAG
|d ZCU
|d OCLCQ
|d MERUC
|d OCLCQ
|d OCLCO
|d U3W
|d STF
|d WRM
|d ICG
|d NRAMU
|d INT
|d VT2
|d AU@
|d OCLCQ
|d WYU
|d OCLCQ
|d DKC
|d OCLCQ
|d CEF
|d UX1
|d OCLCQ
|d HS0
|d UWK
|d ADU
|d OCLCQ
|d OCLCA
|d UKCRE
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
| 019 |
|
|
|a 606060805
|a 636371944
|a 840417387
|a 922943621
|a 961562431
|a 962672481
|a 975208860
|a 975242709
|a 988460479
|a 991986940
|a 1018016096
|a 1037916317
|a 1038644630
|a 1043640148
|a 1058527971
|a 1065700666
|a 1077269177
|a 1081212758
|a 1097095859
|a 1100827713
|a 1101715112
|a 1109120167
|a 1110366182
|a 1112829556
|a 1119124275
|a 1153511240
|a 1162320779
|a 1227641076
|
| 020 |
|
|
|a 9783110816006
|q (electronic bk.)
|
| 020 |
|
|
|a 3110816008
|q (electronic bk.)
|
| 020 |
|
|
|z 3110150719
|q (cloth ;
|q alk. paper)
|
| 020 |
|
|
|z 9783110150711
|q (cloth ;
|q alk. paper)
|
| 029 |
1 |
|
|a AU@
|b 000053287993
|
| 029 |
1 |
|
|a CHNEW
|b 000689415
|
| 029 |
1 |
|
|a CHNEW
|b 000689417
|
| 029 |
1 |
|
|a DEBBG
|b BV042350550
|
| 029 |
1 |
|
|a DEBBG
|b BV044092708
|
| 029 |
1 |
|
|a DEBSZ
|b 478015313
|
| 029 |
1 |
|
|a NZ1
|b 14974238
|
| 029 |
1 |
|
|a AU@
|b 000068425075
|
| 035 |
|
|
|a (OCoLC)636371928
|z (OCoLC)606060805
|z (OCoLC)636371944
|z (OCoLC)840417387
|z (OCoLC)922943621
|z (OCoLC)961562431
|z (OCoLC)962672481
|z (OCoLC)975208860
|z (OCoLC)975242709
|z (OCoLC)988460479
|z (OCoLC)991986940
|z (OCoLC)1018016096
|z (OCoLC)1037916317
|z (OCoLC)1038644630
|z (OCoLC)1043640148
|z (OCoLC)1058527971
|z (OCoLC)1065700666
|z (OCoLC)1077269177
|z (OCoLC)1081212758
|z (OCoLC)1097095859
|z (OCoLC)1100827713
|z (OCoLC)1101715112
|z (OCoLC)1109120167
|z (OCoLC)1110366182
|z (OCoLC)1112829556
|z (OCoLC)1119124275
|z (OCoLC)1153511240
|z (OCoLC)1162320779
|z (OCoLC)1227641076
|
| 037 |
|
|
|n Title subscribed to via ProQuest Academic Complete
|
| 042 |
|
|
|a dlr
|
| 050 |
|
4 |
|a QA76.76.T48
|b J33 1996
|
| 072 |
|
7 |
|a COM
|x 051330
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1/4
|2 20
|
| 084 |
|
|
|a 54.52
|2 bcl
|
| 084 |
|
|
|a 54.71
|2 bcl
|
| 084 |
|
|
|a ST 230
|2 rvk
|
| 084 |
|
|
|a ST 233
|2 rvk
|
| 084 |
|
|
|a 28
|2 sdnb
|
| 084 |
|
|
|a DAT 330f
|2 stub
|
| 084 |
|
|
|a DAT 706f
|2 stub
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Jack, Oliver.
|
| 245 |
1 |
0 |
|a Software testing for conventional and logic programming /
|c Oliver Jack.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b W. de Gruyter,
|c 1996.
|
| 300 |
|
|
|a 1 online resource (xxi, 230 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a data file
|
| 490 |
1 |
|
|a Programming complex systems ;
|v 10
|
| 504 |
|
|
|a Includes bibliographical references (pages 213-225) and index.
|
| 506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
| 533 |
|
|
|a Electronic reproduction.
|b [Place of publication not identified] :
|c HathiTrust Digital Library,
|d 2010.
|5 MiAaHDL
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2010
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a List of Figures -- Symbols and Notation -- 1 Introduction -- 2 Program Testing Concepts -- 2.1 Background and General Terminology -- 2.2 Tractability Problems of Formal Verification -- 2.3 Basic Testing Approaches -- 2.4 Formal Testing -- 2.5 Asymptotic Testing -- 2.6 Resume -- 3 Logic Programming Concepts -- 3.1 Syntax of First-Order Predicate Logic -- 3.2 Model Theoretic Semantics -- 3.3 Fixed Point Semantics -- 3.4 Resolution Calculus and Operational Semantics -- 3.5 Résumé -- 4 Program Instrumentation -- 4.1 Types and Typings
|
| 505 |
8 |
|
|a 4.2 Regular Parametric Types4.3 Type Relations -- 4.4 Modes and Data Flow -- 4.5 Résumé -- 5 Test Coverage -- 5.1 Anti-Unification -- 5.2 Coverage and Anti-Unification -- 5.3 Coverage Computation -- 5.4 Résumé -- 6 Test Input Generation -- 6.1 Coverage Driven Generation -- 6.2 Typed Goals -- 6.3 Moded Goals -- 6.4 Résumé -- 7 Complexity Analysis -- 7.1 Coverage Computation Complexity -- 7.2 Coverage Generation Complexity -- 7.3 Résumé -- 8 Summary -- Appendix A The PROTest System -- A.1 Product Assurance Environment
|
| 505 |
8 |
|
|a A.2 PROTest System OverviewA. 3 PROTest Type and Mode Declarations -- A.4 Structure Checker -- A.5 Test Case Generator -- A.6 Test Coverage Analyzer -- A.7 Test Driver -- A.8 Test Report Generator -- Appendix B Case Study -- B.1 Program Example -- B.2 The Robot Task Scheduling Program -- B.3 Coverage Results -- B.4 Generated Test Inputs -- Bibliography -- Index
|
| 546 |
|
|
|a English.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Computer software
|x Testing.
|
| 650 |
|
7 |
|a COMPUTERS
|x Software Development & Engineering
|x Quality Assurance & Testing.
|2 bisacsh
|
| 650 |
|
7 |
|a Computer software
|x Testing
|2 fast
|
| 650 |
|
7 |
|a Fehlererkennung
|2 gnd
|
| 650 |
|
7 |
|a Logische Programmierung
|2 gnd
|
| 650 |
|
7 |
|a Programmierung
|2 gnd
|
| 650 |
|
7 |
|a Softwaretest
|2 gnd
|
| 758 |
|
|
|i has work:
|a Software testing for conventional and logic programming (Text)
|1 https://id.oclc.org/worldcat/entity/E39PD3cmgHMPKgjd6J6gbpYRjy
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Jack, Oliver.
|t Software testing for conventional and logic programming.
|d Berlin ; New York : W. de Gruyter, 1996
|w (DLC) 96016969
|w (OCoLC)34515558
|
| 830 |
|
0 |
|a Programming complex systems ;
|v 10.
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3040672
|z Texto completo
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3040672
|
| 938 |
|
|
|a ebrary
|b EBRY
|n ebr10588545
|
| 938 |
|
|
|a EBSCOhost
|b EBSC
|n 560577
|
| 938 |
|
|
|a ProQuest MyiLibrary Digital eBook Collection
|b IDEB
|n cis27169584
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 9340406
|
| 994 |
|
|
|a 92
|b IZTAP
|
