Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
problem microprocessor » power microprocessor, pentium microprocessor, homkes microprocessor
microprocessor java » microprocessor data, microprocessor a, microprocessor labs
program progress » programme progress, program process, programmes progress
progress problem » progress problems, programs problem, programs problems
https » http
problem microprocessor » power microprocessor, pentium microprocessor, homkes microprocessor
microprocessor java » microprocessor data, microprocessor a, microprocessor labs
program progress » programme progress, program process, programmes progress
progress problem » progress problems, programs problem, programs problems
https » http
1
Опубликовано 2010
Оглавление:
“... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”Полный текст
Электронный ресурс
eКнига
