Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Software Testing for Conventional and Logic Programming

Name: Software Testing for Conventional and Logic Programming
Brand: De Gruyter
SKU: 09229527
Price: 113.69 EUR
Availability: InStock
Author: Oliver Jack
ISBN: 9783110150711

Diss.

Oliver Jack

Language

English

Book Hardback

Libristo code: 09229527

Publishers De Gruyter, October 1996

The book introduces a mathematical framework for software testing, with emphasis on the impact of th... Full description

Libristo code: 09229527

278 b

113.69 € VAT included

In stock at our supplier Shipping in 10-13 days

Delivery to Austria

30-day return policy

Customers also purchased

LOS LUGARES DEL HOLOCAUSTO FERNANDO PALMERO

Hardback

15.99 €

Physiologie humaine SHERWOOD

Paperback

94.59 €

SUSKIA, LA GIGANTA CURTIS

Book

16.09 €

Tokyo Ghoul:re. Bd.4 Sui Ishida

Paperback

8.09 €

Kaiserprophetieen und Kaisersagen Franz Kampers

Paperback

39.90 €

PUBLICITE DE VOITURE DANS PRESSE ECRITE GIARDINA CALOGERO

Paperback

7.79 €

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.