Torthaí Cuardaigh d'Údair

1

Íomhá Chlúdaigh

Mathematical theory of program correctness /

le Bakker, J. W. de 1939-
Foilsithe 1980

Leabhar

2

Íomhá Chlúdaigh

Logic programming languages : constraints, functions, and objects /

Foilsithe 1993

Údair Eile: “...Bakker, J. W. de 1939- ....”

Leabhar