More actions
Bot: Automatski unos stranica |
m bnz |
||
| Redak 1: | Redak 1: | ||
'''Algebarska semantika''' [[programski jezik|programskog jezika]] je oblik [[aksiomatska semantika|aksiomatske semantike]] zasnovan na [[algebra|algebarskim]] zakonima za opisivanje i zaključivanje o [[programska semantika|programskoj semantici]] na [[formalne metode|formalan]] način. | |||
== Vidjeti također == | == Vidjeti također == | ||
Posljednja izmjena od 29. travanj 2022. u 18:40
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
Nedovršeni članak Algebarska semantika koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.