Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Software Testing for Conventional and Logic Programming

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

Diss.

Oliver Jack

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 09229527

Nakladatelství De Gruyter, říjen 1996

The book introduces a mathematical framework for software testing, with emphasis on the impact of th... Celý popis

Libristo kód: 09229527

251 b

2 505 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

684 Kč

LOS LUGARES DEL HOLOCAUSTO FERNANDO PALMERO

Pevná

375 Kč

Physiologie humaine SHERWOOD

Brožovaná

1 929 Kč

SUSKIA, LA GIGANTA CURTIS

Kniha

376 Kč

Tokyo Ghoul:re. Bd.4 Sui Ishida

Brožovaná

180 Kč

Kaiserprophetieen und Kaisersagen Franz Kampers

Brožovaná

813 Kč

PUBLICITE DE VOITURE DANS PRESSE ECRITE GIARDINA CALOGERO

Brožovaná

170 Kč

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.