Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Software Testing for Conventional and Logic Programming

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

Diss.

Oliver Jack

Idioma

Inglés

Libro Tapa dura

Código Libristo: 09229527

Editores De Gruyter, octubre 1996

The book introduces a mathematical framework for software testing, with emphasis on the impact of th... Descripción completa

Código Libristo: 09229527

292 b

119.29 €

Almacenamiento externo Envío en 10-13 días

Política de devolución de 30 días

Clientes que también han comprado

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

Tapa blanda

30.49 €

LOS LUGARES DEL HOLOCAUSTO FERNANDO PALMERO

Tapa dura

14.89 €

Physiologie humaine SHERWOOD

Tapa blanda

92.19 €

SUSKIA, LA GIGANTA CURTIS

Libro

14.99 €

Tokyo Ghoul:re. Bd.4 Sui Ishida

Tapa blanda

8.49 €

Kaiserprophetieen und Kaisersagen Franz Kampers

Tapa blanda

39.39 €

PUBLICITE DE VOITURE DANS PRESSE ECRITE GIARDINA CALOGERO

Tapa blanda

8.29 €

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.