LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 GLS-Kurier 4.99 GLS-Kurier 4.99 DPD-Kurier 3.99 DPD-Stelle 2.99

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Software Testing for Conventional and Logic Programming

Diss.

Sprache EnglischEnglisch
Buch Hardcover
Buch Software Testing for Conventional and Logic Programming Oliver Jack
Libristo-Code: 09229527
Verlag De Gruyter, Oktober 1996
The book introduces a mathematical framework for software testing, with emphasis on the impact of th... Vollständige Beschreibung
? points 278 b
113.69 inkl. MwSt.
Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware


Kunden kauften auch


LOS LUGARES DEL HOLOCAUSTO FERNANDO PALMERO / Buch Hardcover
common.buy 15.99
Physiologie humaine SHERWOOD / Buch Broschur
common.buy 94.59
SUSKIA, LA GIGANTA CURTIS / Buch Buch
common.buy 16.09
Tokyo Ghoul:re. Bd.4 Sui Ishida / Buch Broschur
common.buy 8.09
Kaiserprophetieen und Kaisersagen Franz Kampers / Buch Broschur
common.buy 39.90
PUBLICITE DE VOITURE DANS PRESSE ECRITE GIARDINA CALOGERO / Buch Broschur
common.buy 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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Software Testing for Conventional and Logic Programming
Autor Oliver Jack
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 1996
Anzahl der Seiten 251
EAN 9783110150711
ISBN 3110150719
Libristo-Code 09229527
Verlag De Gruyter
Gewicht 474
Abmessungen 155 x 230 x 12
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren


Literary Atlas of Cairo MEHREZ SAMIA ED / Buch Broschur
common.buy 34.29
Top
Anathema (Standard Edition) LAKE KERI / Buch Hardcover
common.buy 24.29
Constellations Carolyn Carter / Buch Hardcover
common.buy 27.39
REPORT OF THE BUREAU OF MINES Pennsylvania Bureau of Mines / Buch Hardcover
common.buy 52.39
Compensatory Lengthening Darya Kavitskaya / Buch Broschur
common.buy 75.49
Making of Channel 4 Peter Catterall / Buch Broschur
common.buy 69.79
Death Benefit Robin Cook / Buch Broschur
common.buy 25.49
Demnächst
Prelude to Spanish Modernism Mark A. Roglan / Buch Broschur
common.buy 74.69

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto