Βικιπαίδεια

Τυπική σημασιολογία των γλωσσών προγραμματισμού: Διαφορά μεταξύ των αναθεωρήσεων

Περιήγηση ιστορικού διαδραστικά
← Προηγούμενη διαφοράΕπόμενη διαφορά →
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
ΟπτικήΚώδικας wiki
ZéroBot (συζήτηση | συνεισφορές)
32.561 επεξεργασίες
μ r2.7.1) (Ρομπότ: Προσθήκη: uk:Семантика мов програмування
μ Bot: Migrating 11 langlinks, now provided by Wikidata on d:Q1437428
Γραμμή 56:
[[Κατηγορία:Λογική για Υπολογιστές]]
[[Κατηγορία:Τυπικές μέθοδοι]]
 
[[ar:سيمانتيك شكلي]]
[[cv:Семантика (программăлани)]]
[[de:Formale Semantik]]
[[en:Semantics (computer science)]]
[[fr:Sémantique des langages de programmation]]
[[hr:Formalna semantika programskih jezika]]
[[ja:プログラム意味論]]
[[pt:Semântica formal]]
[[ru:Семантика (программирование)]]
[[uk:Семантика мов програмування]]
[[zh:形式语义学]]
Ανακτήθηκε από "https://el.wikipedia.org/wiki/Τυπική_σημασιολογία_των_γλωσσών_προγραμματισμού"