Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing programs » processing programmed, processing problems, processing products
programs final » program final, programs formal, programs china
java » jaya
https » http
processing programs » processing programmed, processing problems, processing products
programs final » program final, programs formal, programs china
java » jaya
https » http
1
2
Published 2006
Table of Contents:
“... Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...”View full text
Electronic
eBook
4
Table of Contents:
“... Sequential Calculus -- Asynchronous Sequential Processes -- A Few Examples -- Semantics and Properties...”
View full text
View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Application Security Gateway with Java Non-blocking IO -- Microaggregation for Database and Location Privacy...”View full text
Electronic
eBook



