Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programs state » programs static, programs stable, programs staff
java programs » java programming
program java » program jarak, program a, program jom
state array » gate array, state arab, space array
https » http
programs state » programs static, programs stable, programs staff
java programs » java programming
program java » program jarak, program a, program jom
state array » gate array, state arab, space array
https » http
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Pubblicazione 2010
Sommario:
“... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”Testo
Elettronico
eBook
2
Sommario:
“... for C -- Core C -- Related Work -- Part 1 Abstracting Soundly -- Abstract State Space -- Points...”
Testo
Testo
Elettronico
eBook
3
Sommario:
“...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
Testo
Testo
Elettronico
eBook
4
Pubblicazione 2010
Sommario:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”Testo
Elettronico
eBook
5
Pubblicazione 2007
Sommario:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”Testo
Elettronico
eBook
6
Pubblicazione 2007
Sommario:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Testo
Elettronico
eBook
7
Pubblicazione 2006
Sommario:
“... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”Testo
Elettronico
eBook