Logique s langages formels et complexite pour l'informatique collection informatique de Narenda Jussien | Booklub