Software Testing for Conventional and Logic Programming: 10 (Programmierung Komplexer Systeme / Programming Complex Systems, 10) - Hardcover
Synopsis
No detailed description available for "Software Testing for Conventional and Logic Programming".
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Software Testing for Conventional and Logic Programming:...
Stock Image
Software Testing for Conventional and Logic Programming (Programmierung Komplexer Systeme / Programming Complex Systems, 10)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_407245599
Seller Image
Software Testing for Conventional and Logic Programming
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book introduces a mathematical framework for software testing, with emphasis on the impact of the programming paradigm used for program development. It provides the foundations for systematic testing of logic programs, comprising program instrumentation techniques and novel test coverage measures for declarative programs. The book also describes novel approaches to test declarative programs, notably logic programs.Testing concepts suitable for automated test case generation are developed with mathematical rigor. Algorithms for test case generation are presented and test complexity is analysed. Besides theoretical foundations, the book addresses engineering aspects of software testing and describes a tool for automated testing of logic programs. 252 pp. Englisch. Seller Inventory # 9783110150711
Stock Image
Software Testing for Conventional and Logic Programming
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9783110150711
Buy New
£ 108.17
£ 5.02 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Software Testing for Conventional and Logic Programming
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9783110150711
Stock Image
Software Testing for Conventional and Logic Programming (Perspectives in Analytical Philosophy) (Programmierung Komplexer Systeme / Programming Complex Syste)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783110150711_new
Buy New
£ 104.31
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Software Testing for Conventional and Logic Programming
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. No detailed description available for Software Testing for Conventional and Logic Programming .The book introduces a mathematical framework for software testing, with emphasis on the impact of the programming paradigm used for program development. . Seller Inventory # 4452572
Buy New
£ 87.76
£ 42.50 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Software Testing for Conventional and Logic Programming (Perspectives in Analytical Philosophy) (Programmierung Komplexer Systeme / Programming Complex Syste)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020048047
Seller Image
Software Testing for Conventional and Logic Programming
Published by
De Gruyter, De Gruyter Okt 1996, 1996
ISBN 10: 3110150719
ISBN 13: 9783110150711
New
Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Frontmatter -- 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 -- IndexWalter de Gruyter GmbH, Genthiner Strasse 13, 10785 Berlin 252 pp. Englisch. Seller Inventory # 9783110150711
Seller Image
Software Testing for Conventional and Logic Programming
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Software Testing for Conventional and Logic Programming | Oliver Jack | Buch | XXI | Englisch | 1996 | De Gruyter | EAN 9783110150711 | Verantwortliche Person für die EU: Walter de Gruyter GmbH, De Gruyter GmbH, Genthiner Str. 13, 10785 Berlin, productsafety[at]degruyterbrill[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 106499435
Seller Image
Software Testing for Conventional and Logic Programming
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book introduces a mathematical framework for software testing, with emphasis on the impact of the programming paradigm used for program development. It provides the foundations for systematic testing of logic programs, comprising program instrumentation techniques and novel test coverage measures for declarative programs. The book also describes novel approaches to test declarative programs, notably logic programs.Testing concepts suitable for automated test case generation are developed with mathematical rigor. Algorithms for test case generation are presented and test complexity is analysed. Besides theoretical foundations, the book addresses engineering aspects of software testing and describes a tool for automated testing of logic programs. Seller Inventory # 9783110150711