Biblioteca Universităţii din Craiova

Semantica programelor

Subiect Tematic: Semantica programelor
Limba: rum
Termen generic: Programarea calculatoarelor
Indice CZU: 004.423.4
Lucrări: 5 lucrari in 5 publicatii in 3 limbi
Semantics of Programming Languages de: Tennent, R. D. (Text tipărit)
Gramatici și automate finite de: Marcus, Solomon (Text tipărit)
Introduction to Contextual Processing : Theory and Applications de: Vert, Gregory; S. Sitharama, Iyengar; Phoha, Vir V. (Resurse electronice)
Predicate Calculus and Program Semantics de: Dijkstra, Edsger W.; Scholten, Carel S. (Text tipărit)
Vă rugăm să schimbaţi parola