Biblioteca Universităţii din Craiova
Limba
Coperţi

Semantica programelor

Subiect Tematic: Semantica programelor
Limba: rum
Termen generic: Programarea calculatoarelor
Indice CZU: 004.423.4
Lucrări: 4 lucrari in 4 publicatii in 2 limbi
Semantics of Programming Languages de: Tennent, R. D. (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