Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

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

Lingua

Inglese

Libro Rigido

Codice Libristo: 09229527

Casa editrice De Gruyter, ottobre 1996

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

Codice Libristo: 09229527

278 b

113.69 €

Magazzino esterno Inviamo tra 10-13 giorni

30 giorni per il reso

I clienti hanno acquistato anche

LOS LUGARES DEL HOLOCAUSTO FERNANDO PALMERO

Rigido

15.29 €

Physiologie humaine SHERWOOD

In brossura

94.59 €

SUSKIA, LA GIGANTA CURTIS

Libro

15.39 €

Tokyo Ghoul:re. Bd.4 Sui Ishida

In brossura

8.09 €

Kaiserprophetieen und Kaisersagen Franz Kampers

In brossura

37.29 €

PUBLICITE DE VOITURE DANS PRESSE ECRITE GIARDINA CALOGERO

In brossura

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.