Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Software Testing for Conventional and Logic Programming Oliver Jack

Software Testing for Conventional and Logic Programming

Diss.

Szerző: Oliver Jack
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: De Gruyter
Elérhetőség: Beszállítói készleten
Küldés 10-13 napon belül
40 887 Ft
The book introduces a mathematical framework for software testing, with emphasis on the impact of th...

Információk a könyvről

Szerző
Oliver Jack
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
1996
oldal
251
EAN
9783110150711
ISBN
3110150719
Enbook ID
09229527
Kiadó
De Gruyter
Súly
474
Méretek
155 x 230 x 12

Teljes leírás

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.

Érdekelheti

Literary Atlas of Cairo

MEHREZ SAMIA ED
11 369 Ft

Anathema (Standard Edition)

LAKE KERI
8 787 Ft

Constellations

Carolyn Carter
9 830 Ft

Themes in the Christian History of Central Africa

T. O. Ranger
40 078 Ft

Art of Imbue: Artwork of Introduction to Imbue

Luke Reynolds
5 534 Ft

REPORT OF THE BUREAU OF MINES

Pennsylvania Bureau of Mines
18 820 Ft

Compensatory Lengthening

Darya Kavitskaya
27 035 Ft

Making of Channel 4

Peter Catterall
24 367 Ft

Death Benefit

Robin Cook
8 404 Ft

Day Trading and Swing Trading the Currency Market, 3e - Technical and Fundamental Strategies to Profit from Market Moves

Kathy Lien
22 455 Ft

Internal Control/Anti-Fraud Program Design for the Small Business

Steve Dawson
23 381 Ft

Undead and Unappreciated. Happy Hour in der Unterwelt, englische Ausgabe

Mary J. Davidson
2 655 Ft

Prelude to Spanish Modernism

Mark A. Roglan
24 754 Ft

The Chambers Complete Crossword Companion

Chambers
16 876 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

LOS LUGARES DEL HOLOCAUSTO

FERNANDO PALMERO
5 349 Ft

Physiologie humaine

SHERWOOD
31 642 Ft

SUSKIA, LA GIGANTA

CURTIS
5 363 Ft

Tokyo Ghoul:re. Bd.4

Sui Ishida
2 911 Ft

Kaiserprophetieen und Kaisersagen

Franz Kampers
13 466 Ft

PUBLICITE DE VOITURE DANS PRESSE ECRITE

GIARDINA CALOGERO
2 825 Ft