COTE : ELN/2095
ISBN : 201548860
TITRE : The deductive foundations of computer programming
AUTEUR : Manna, Zohae
N° EXEMPLAIRE : 2
COTE : ELN/2095
ISBN : 201548860
TITRE : The deductive foundations of computer programming
AUTEUR : Manna, Zohae
N° EXEMPLAIRE : 2