Oikeaksi todistetut ohjelmat
Finna-arvio
Oikeaksi todistetut ohjelmat
Tallennettuna:
| Kieli |
suomi |
|---|---|
| Huomautukset |
Tietokoneohjelmien virheet ja ohjelmien virheettömyyden formaalin verifioinnin vaikeus. Uusimpana työkaluna automatisoidut todistusassistentit. |
| Sarja | Pertin kytkentöjä |
| Luokitus | |
| Aiheet/asiasanat |
