Pagina's die verwijzen naar "Hoarelogica"
Uiterlijk
De volgende pagina's verwijzen naar Hoarelogica:
Er worden 12 items getoond.
- Informatica (← koppelingen | bewerken)
- Edsger Dijkstra (← koppelingen | bewerken)
- Tony Hoare (← koppelingen | bewerken)
- Hoare logica (redirect) (← koppelingen | bewerken)
- GCL (← koppelingen | bewerken)
- Hoare triple (redirect) (← koppelingen | bewerken)
- Abstract datatype (← koppelingen | bewerken)
- Formele methoden (← koppelingen | bewerken)
- Robert W. Floyd (← koppelingen | bewerken)
- Semantiek (informatica) (← koppelingen | bewerken)
- Gebruiker:WimBarbier/Boeken/Logica (← koppelingen | bewerken)
- Gebruiker:Aivin/Kladblok (← koppelingen | bewerken)