Nasledujúce stránky odkazujú na Course:Specification and Verification of Programs/en:
Zobraziť (predchádzajúcich 50 | nasledujúcich 50) (20 | 50 | 100 | 250 | 500).- Course:Specification and Verification of Programs (← odkazy)
- Specification and Verification of Programs/en (presmerovacia stránka) (← odkazy)