Κατηγορία:Τυπικές μέθοδοι

Υποκατηγορίες

Αυτή η κατηγορία έχει τις ακόλουθες 4 υποκατηγορίες, από 4 συνολικά.

Έ

Έλεγχος μοντέλων‎ (1 Σ)

Α

Αφηρημένοι τύποι δεδομένων‎ (1 Σ)

Λ

Λογισμικό απόδειξης θεωρημάτων‎ (3 Σ)

Μ

Μοντέλα υπολογισμού‎ (1 Κ, 4 Σ)

Σελίδες στην κατηγορία «Τυπικές μέθοδοι»

Αυτή η κατηγορία περιέχει τις ακόλουθες 22 σελίδες, από 22 συνολικά.

Ανακτήθηκε από "https://el.wikipedia.org/w/index.php?title=Κατηγορία:Τυπικές_μέθοδοι&oldid=6262098"