{"product_id":"software-testing-for-conventional-and-logic-programming-von-oliver-jack","title":"Software Testing for Conventional and Logic Programming","description":"\u003cp\u003eFrontmatter -- 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\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783110150711\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Hardcover - 9783110150711","offer_id":50599052742,"sku":"9783110150711","price":109.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/9003e674-bbdc-42ea-93ea-c8cf3d915a3d.jpg?v=1779339385","url":"https:\/\/shop.autorenwelt.de\/en\/products\/software-testing-for-conventional-and-logic-programming-von-oliver-jack","provider":"Autorenwelt Shop","version":"1.0","type":"link"}