Search alternatives:
programming microprocessor » programming preprocessor
progress programming » process programming, programs programming, problems programming
microprocessor java » microprocessor data, microprocessor a, microprocessor labs
program progress » programme progress, program process, programmes progress
https » http
1
Published 2010
Table of Contents: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
View full text
Electronic eBook