1
Pubblicazione 2012
Sommario: ... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...
Testo
Elettronico eBook
2
Pubblicazione 2006
Sommario: ...: Optimization Modeling by Nondeterministic Simulation -- An Algebraic Characterisation of Complexity for Valued...
Testo
Elettronico eBook
3
Sommario: ...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...
Testo
Elettronico eBook
4
Pubblicazione 2010
Sommario: ... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...
Testo
Elettronico eBook
5
di Lopez, Cesar., Lopez, Cesar.
Pubblicazione 2014
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook