Soggetti all'interno della tua ricerca.
Cerca anche:
processing developing » forecasting developing, housing developing
developing computing » developing competent, developing computer, developing coping
java processing » data processing, data processings, data processsing
integer java » integer data, integer base, integer dea
1
Copertina
Pubblicazione 2007
Sommario: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
2
Copertina
Pubblicazione 2007
Sommario: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
Testo
Elettronico eBook
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email — Salva la ricerca