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 €

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

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: 107.99 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

264 b

107.99 €

Magazzino esterno Inviamo tra 10-13 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Relevanz der Ellipse in der alltaglichen Kommunikationspraxis Andrea Elisabeth Schildgen

In brossura

26.19 €

Erz Hlungen Aus Der Alten Welt Karl Friedrich Becker

In brossura

24.89 €

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

In brossura

30.49 €

Tokyo Ghoul:re. Bd.4 Sui Ishida

In brossura

8.09 €

LOS LUGARES DEL HOLOCAUSTO FERNANDO PALMERO

Rigido

13.89 €

Geschichte Der Mark Brandenburg Unter Joachim I Und II (1841) August Zimmermann

In brossura

33.69 €

PREMIERES NATIONS ESSAI D'UNE APPROCHE HOLISTIQUE EN EDUCAT. COLOMB Libro

In brossura

16.39 €

Physiologie humaine SHERWOOD

In brossura

94.39 €

SUSKIA, LA GIGANTA CURTIS

Libro

13.89 €

Kaiserprophetieen und Kaisersagen Franz Kampers

In brossura

37.29 €

Höhere Festigkeitslehre Peter Selke

Rigido

63.89 €

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.