Hochschulschrift

Software testing for conventional and logic programming

zu Verbundenen Objekten

Sprache: Englisch

Umfang: XXI, 230 S.

Maße: 24 cm

Anmerkungen: Zugl.: Paderborn, Univ., Diss., 1995

ISBN: 9783110150711
3110150719

Standort: Deutsche Nationalbibliothek Frankfurt am Main

Erschienen in: Programmierung komplexer Systeme ; 10

Schlagwort: Programmierung
Softwaretest
Fehlererkennung
Logische Programmierung
Softwaretest
Fehlererkennung

Urheber: Jack, Oliver

Ereignis: Veröffentlichung

(wo): Berlin, New York

(wer): de Gruyter

(wann): 1996

Inhaltsverzeichnis: https://d-nb.info/948461942/04

Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.

Letzte Aktualisierung: 11.03.2025, 12:22 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

Hochschulschrift

Beteiligte

Jack, Oliver
de Gruyter

Entstanden

1996

Ähnliche Objekte (12)

Hochschulschrift

Software testing for conventional and logic programming

Hochschulschrift

Software reliability determination for conventional and logic programming

Monografie

On functional logic programming and its application to testing

Hochschulschrift

On functional logic programming and its application to testing

Konferenzschrift | Kongress

Logic programming : proceedings

Logic programming and databases

Monografie

Inductive temporal logic programming

Monografie

Set based logic programming

Hochschulschrift

Laziness in logic programming

Foundations of logic programming

Logic Programming with Prolog

Hochschulschrift

Software testing for conventional and logic programming

Hochschulschrift

Software reliability determination for conventional and logic programming

Monografie

On functional logic programming and its application to testing

Hochschulschrift

On functional logic programming and its application to testing

Konferenzschrift | Kongress

Logic programming : proceedings

Logic programming and databases

Monografie

Inductive temporal logic programming

Monografie

Set based logic programming

Hochschulschrift

Laziness in logic programming

Foundations of logic programming

Logic Programming with Prolog

Hochschulschrift

Software testing for conventional and logic programming

Hochschulschrift

Software reliability determination for conventional and logic programming

Monografie

On functional logic programming and its application to testing

Hochschulschrift

On functional logic programming and its application to testing

Konferenzschrift | Kongress

Logic programming : proceedings

Logic programming and databases

Monografie

Inductive temporal logic programming

Monografie

Set based logic programming

Hochschulschrift

Laziness in logic programming

Foundations of logic programming

Logic Programming with Prolog

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

Software testing for conventional and logic programming

Angaben zum Objekt

Verweise und Beziehungen

Klassifikation und Themen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Objekttyp

Beteiligte

Entstanden

Ähnliche Objekte (12)

Software testing for conventional and logic programming

Software reliability determination for conventional and logic programming

Software reliability determination for conventional and logic programming

On functional logic programming and its application to testing

On functional logic programming and its application to testing

Logic programming : proceedings

Logic programming and databases

Inductive temporal logic programming

Set based logic programming

Laziness in logic programming

Foundations of logic programming

Logic Programming with Prolog

Software testing for conventional and logic programming

Software reliability determination for conventional and logic programming

Software reliability determination for conventional and logic programming

On functional logic programming and its application to testing

On functional logic programming and its application to testing

Logic programming : proceedings

Logic programming and databases

Inductive temporal logic programming

Set based logic programming

Laziness in logic programming

Foundations of logic programming

Logic Programming with Prolog

Software testing for conventional and logic programming

Software reliability determination for conventional and logic programming

Software reliability determination for conventional and logic programming

On functional logic programming and its application to testing

On functional logic programming and its application to testing

Logic programming : proceedings

Logic programming and databases

Inductive temporal logic programming

Set based logic programming

Laziness in logic programming

Foundations of logic programming

Logic Programming with Prolog

Verbundene Objekte

Passwort zurücksetzen