Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
compensation programs » composition programs, communication programs, compensation process
https compensation » its compensation, topics compensation, total compensation
program java » program jarak, program a, program jom
compensation programs » composition programs, communication programs, compensation process
https compensation » its compensation, topics compensation, total compensation
program java » program jarak, program a, program jom
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“...Invited Talk -- DIVINE: DIscovering Variables IN Executables -- Session 1 -- Verifying Compensating...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Compensation for MPI Programs -- Network Bandwidth Measurements and Ratio Analysis with the HPC Challenge...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Services -- Engineering Compensations in Web Service Environment -- Context-Aware Workflow Management...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”View full text
Electronic
eBook