ricerca dei libri
libri
Donare
Entrare
Entrare
gli utenti autorizzati hanno accesso a:
raccomandazioni personali
Telegram bot
cronologia dei download
inviare a email o Kindle
gestione delle raccolte
salvare nei preferiti
Personale
Richieste di libro
Studia
Z-Recommend
Elenco libri
Più popolari
Categorie
Partecipazione
Donare
Caricamenti
Litera Library
Dona i libri cartacei
Aggiungi i libri cartacei
Search paper books
Mio LITERA Point
Ricerca termini
Main
Ricerca termini
search
1
Software Testing for Conventional and Logic Programming
De Gruyter
Oliver Jack
testing
coverage
input
programming
figure
goals
append
predicate
algorithm
generation
inputs
clause
task
programs
anyl
defined
clauses
function
anti
output
goal
any2
definitions
formal
protest
variables
prolog
unification
symbols
instrumentation
context
typed
evenlist
exists
lca
consider
select
correctness
denoted
tested
analysis
complexity
oddlist
theorem
generated
tests
cases
formally
herbrand
reliability
Anno:
1996
Lingua:
english
File:
PDF, 6.64 MB
I tuoi tag:
0
/
0
english, 1996
1
Segui
questo link
o cerca il bot "@BotFather" in Telegram
2
Invia il comando /newbot
3
Inserisci un nome del tuo bot
4
Inserisci un nome utente del bot
5
Copia l'ultimo messaggio da BotFather e incollalo qui
×
×