Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Software Testing for Conventional and Logic Programming

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

Diss.

Oliver Jack

Język

Angielski

Książka Twarda

Kod Libristo: 09229527

Wydawnictwo De Gruyter, październik 1996

The book introduces a mathematical framework for software testing, with emphasis on the impact of th... Cały opis

Kod Libristo: 09229527

264 b

463.27 zł

Dostępna u dostawcy Wysyłamy za 10-13 dni

30 dni na zwrot towaru

Klienci kupili także

LOS LUGARES DEL HOLOCAUSTO FERNANDO PALMERO

Twarda

65.74 zł

Physiologie humaine SHERWOOD

Miękka

388.68 zł

SUSKIA, LA GIGANTA CURTIS

Książka

65.84 zł

Tokyo Ghoul:re. Bd.4 Sui Ishida

Miękka

33.12 zł

Kaiserprophetieen und Kaisersagen Franz Kampers

Miękka

151.17 zł

PUBLICITE DE VOITURE DANS PRESSE ECRITE GIARDINA CALOGERO

Miękka

31.71 zł

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.