Nasledujúce stránky odkazujú na Hoareova logika:
Nástroje: počet odkazov
Zobrazených 7 položiek.
- Zoznam matematických článkov/H (← odkazy | upraviť)
- Design by contract (← odkazy | upraviť)
- Zoznam informatických článkov/H (← odkazy | upraviť)
- Robert Floyd (← odkazy | upraviť)
- Charles Antony Richard Hoare (← odkazy | upraviť)
- Floydova-Hoareova logika (presmerovacia stránka) (← odkazy | upraviť)
- Hoareova metóda (presmerovacia stránka) (← odkazy | upraviť)