Hoare logic ingelesa (Q1375924)
Nabigaziora joan
Bilaketara joan
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs ingelesa
Hizkuntza | Etiketa | Deskribapena | Goitizenak |
---|---|---|---|
euskara | Ez da etiketarik zehaztu |
Ez da deskribapenik zehaztu |
|
ingelesa | Hoare logic |
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs |
|
Adierazpenak
Identifikatzaileak
Erreferentzia bat
Freebase Data Dumps ingelesa
28 urria 2013
OpenAlex ID ingelesa
Erreferentzia bat
OpenAlex ingelesa
26 urtarrila 2022
Sitelinks
Wikipedia(15 sarrera)
- dewiki Hoare-Kalkül
- enwiki Hoare logic
- eswiki Lógica de Hoare
- frwiki Logique de Hoare
- itwiki Logica di Hoare
- jawiki ホーア論理
- kowiki 호어 논리
- nlwiki Hoarelogica
- plwiki Logika Hoare’a
- ptwiki Lógica de Hoare
- ruwiki Логика Хоара
- skwiki Hoareova logika
- ukwiki Логіка Гоара
- viwiki Luận lý Hoare
- zhwiki 霍尔逻辑