Inne możliwości wyszukiwania:
progress microprocessor » homkes microprocessor, core microprocessor, filtres microprocessor
microprocessor java » microprocessor data, microprocessor a, microprocessor labs
problems progress » problems problems, problems prospects
program problems » programs problems, program problem, programs problem
https » http
1
Wydane 2010
Spis treści: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
Dokumenty pełnotekstowe
Elektroniczne E-book