TY - BOOK ID - 21376469 TI - Algorithmique : construction, preuve et évaluation des programmes AU - Berlioux, Pierre AU - Bizard, Philippe PY - 1985 SN - 2040157719 9782040157715 PB - Paris: Bordas, DB - UniCat KW - Informatique KW - Computer science KW - Computer science. KW - Algorithmique KW - Programmation UR - https://www.unicat.be/uniCat?func=search&query=sysid:21376469 AB - ER -