Razlika između verzija stranice "Informatika"
| [nepregledana izmjena] | [pregledana izmjena] |
Uklonjeni sadržaj Dodani sadržaj
Vraćena izmjena 2480389 korisnika 213.196.101.3 (razgovor) |
|||
Red 30:
; [[Teorija tipova]]
: Formalna analiza tipova podataka, te korištenje tih tipova u svrhu razumijevanja programa, posebno sigurnosti.
=== Teorija računanja ===
| |||