AuteurExpression booléenneBERLIOUX, Pierre
Ouvrages/Monographies
Informatique et Automatique
Algorithmique:Construction,preuve et evaluation des programmes
Ouvrages/Monographies
Informatique et Automatique
Algorithmique:Construction,preuve et evaluation des programmes