Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
program microprocessor » programming microprocessor, pentium microprocessor, core microprocessor
microprocessor java » microprocessor data, microprocessor a, microprocessor labs
problems progress » problems problems, problems prospects
progress program » programs program, process program, progression program
https » http
1
Delwedd Flaen
Cyhoeddwyd 2010
Tabl Cynhwysion: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
Cael y testun llawn
Electronig eLyfr
Ychwanegu at ffefrynnau
Wedi'i Gadw mewn:
Offerynnau Chwilio: Cael Porthiant RSS — E-bostio'r Chwiliad hwn — Cadw'r Chwiliad