Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Software Testing for Conventional and Logic Programming

Name: Software Testing for Conventional and Logic Programming
Brand: De Gruyter
SKU: 09229527
Price: 41826 HUF
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

287 b

41 826 Ft

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Matiere Brute Et La Matiere Vivant, Etude Sur L'Origine de La Vie Et de La Mort Joseph Delboeuf

Paperback

11 179 Ft

LOS LUGARES DEL HOLOCAUSTO FERNANDO PALMERO

Hardback

5 458 Ft

Physiologie humaine SHERWOOD

Paperback

32 400 Ft

SUSKIA, LA GIGANTA CURTIS

Book

5 458 Ft

Tokyo Ghoul:re. Bd.4 Sui Ishida

Paperback

2 978 Ft

Kaiserprophetieen und Kaisersagen Franz Kampers

Paperback

13 775 Ft

PUBLICITE DE VOITURE DANS PRESSE ECRITE GIARDINA CALOGERO

Paperback

2 890 Ft

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.