Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
patterns microprocessor » filters microprocessor, modern microprocessor, filtres microprocessor
microprocessor java » microprocessor data, microprocessor a, microprocessor labs
progress patterns » progress pattern, process patterns, problems patterns
program progress » programme progress, program process, programmes progress
https » http
patterns microprocessor » filters microprocessor, modern microprocessor, filtres microprocessor
microprocessor java » microprocessor data, microprocessor a, microprocessor labs
progress patterns » progress pattern, process patterns, problems patterns
program progress » programme progress, program process, programmes progress
https » http
1
Publicat 2010
Taula de continguts:
“... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”Obtenir text complet
Electrònic
eBook
