Algebarska semantika
Izvor: Hrvatska internetska enciklopedija
Algebarska semantika programskog jezika je oblik aksiomatske semantike zasnovan na algebarskim zakonima za opisivanje i zaključivanje o programskoj semantici na formalan način.
Vidjeti također
Pogreška pri izradbi sličice: Spremanje smanjene slike ("thumbnail") na ponuđenu mjesto nije moguće.
Nedovršeni članak Algebarska semantika koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.